Ideas in Logic and Computer-Science related to Ludics (Algebra, Logic and Geometry in Informatics)
スポンサーリンク
概要
著者
関連論文
- ブール代数のfirst-order property と分割について(数理論理学とその応用)
- 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)
- Ideas in Logic and Computer-Science related to Ludics (Algebra, Logic and Geometry in Informatics)