Semigroup semantics for orthomodular logic

このアイテムのアクセス数: 171

http://hdl.handle.net/2433/61686

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
1021-2.pdf		1.06 MB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	Miyazaki, Yutaka	en
dc.contributor.alternative	宮崎, 裕	ja
dc.contributor.transcription	ミヤザキ, ユタカ	ja
dc.date.accessioned	2008-07-09T07:31:47Z	-
dc.date.available	2008-07-09T07:31:47Z	-
dc.date.issued	1997-12	-
dc.identifier.issn	1880-2818	-
dc.identifier.uri	http://hdl.handle.net/2433/61686	-
dc.format.mimetype	application/pdf	-
dc.language.iso	eng	-
dc.publisher	京都大学数理解析研究所	ja
dc.subject.ndc	410	-
dc.title	Semigroup semantics for orthomodular logic	en
dc.type	departmental bulletin paper	-
dc.type.niitype	Departmental Bulletin Paper	-
dc.identifier.ncid	AN00061013	-
dc.identifier.jtitle	数理解析研究所講究録	ja
dc.identifier.volume	1021	-
dc.identifier.spage	14	-
dc.identifier.epage	27	-
dc.textversion	publisher	-
dc.sortkey	02	-
dc.address	Japan Advanced Institute of Science and Technology	en
dc.identifier.mrnumber	1643392	-
dcterms.accessRights	open access	-
出現コレクション:	1021 sequent calculus と Kripke semanticsに基づく非古典論理学の研究

このリポジトリに保管されているアイテムはすべて著作権により保護されています。