ブール代数のfirst-order property と分割について(数理論理学とその応用)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 永山 操

  東京女子大学文理学部

• 永山 操

  Department of Mathematics, Tokyo Women's Christian University

関連論文

• ブール代数の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)

スポンサーリンク