岡田 光弘 | 慶応大学文学部哲学科
スポンサーリンク
概要
関連著者
-
岡田 光弘
慶應義塾大学文学部哲学専攻
-
永山 操
東京女子大学文理学部数理学科
-
岡田 光弘
慶応大学文学部哲学科
-
永山 操
東京女子大学文理学部
-
岡田 光弘
Department of Philosphy, Keio University
-
Okada Mitsuhiro
慶應義塾大学文学部
-
Okada Mitsuhiro
Department Of Philosphy Keio University
-
Okada Mitsuhiro
Department Of Philosophy Keio University
著作論文
- Characterization Theorems for Multiplicative Fragment of Intuitionistic Non-Commutative Linear Logic : Preliminary Report
- A Graph-Theoretic Characterization Theorem for Multiplicative Fragment of Non-Commutative Linear Logic(Preliminary Report)(Non-Classical Logics and Their Kripke Semantics)