順序半群によるセマンティクス(数学基礎論)
スポンサーリンク
概要
著者
関連論文
- マルチエージェント・モデルのための時相認識論理とその効率的な証明探索手続き(マルチエージェント)
- 汎用システムとしての「ラムダ計算+論理」(算術体系の証明論)
- 証明図の集合としての論理(非古典論理とそのKripke意味論に関する諸問題)
- BCK代数とBCI代数の語の問題(代数的コード理論および語の組合せ論)
- 新井敏康氏の業績 : 証明論の新たな展開
- 非標準論理の現状とその展望 (<特集>非標準論理とその応用)
- Provably recursive functions in fragments of Peano arithmetic
- 順序半群によるセマンティクス(数学基礎論)
- 数理論理学(4)
- 数理論理学(3)
- 数理論理学(2)
- 数理論理学(1)
- 69-17 計算機による定理の証明についての新たな方向
- F-46. コンテクスト・フリーな言語におけるあいまいさ
- F-32. 1-正規システムの決定問題の可解性
- 直感主義論理の新しい模型(数学基礎論及びその応用)
- 代数的方法による命題論理の研究 (半群とその周辺)
- GeneralizedスライスとFinite Model Property (数理論理とモデル理論)
- 様相論理の数学的研究 (様相論理をめぐる諸問題)