証明図の集合としての論理(非古典論理とそのKripke意味論に関する諸問題)
スポンサーリンク
概要
著者
関連論文
- 汎用システムとしての「ラムダ計算+論理」(算術体系の証明論)
- 証明図の集合としての論理(非古典論理とそのKripke意味論に関する諸問題)
- BCK代数とBCI代数の語の問題(代数的コード理論および語の組合せ論)
- 順序半群によるセマンティクス(数学基礎論)
- 直感主義論理の新しい模型(数学基礎論及びその応用)
- 代数的方法による命題論理の研究 (半群とその周辺)
- GeneralizedスライスとFinite Model Property (数理論理とモデル理論)