汎用システムとしての「ラムダ計算+論理」(算術体系の証明論)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 古森 雄一

  千葉大学総合メディア基盤センター

関連論文

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

スポンサーリンク