古森 雄一 | 静岡大学理学部

スポンサーリンク

概要

• 同名の論文著者
• 静岡大学理学部の論文著者

関連著者

• 古森 雄一

  静岡大学理学部

• 古森 雄一

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

• 小野 寛晰

  北陸先端科学技術大学院大学情報科学研究科

• 小野 寛晰

  広島大学総合科学部

著作論文

• 証明図の集合としての論理(非古典論理とそのKripke意味論に関する諸問題)
• BCK代数とBCI代数の語の問題(代数的コード理論および語の組合せ論)
• 順序半群によるセマンティクス(数学基礎論)
• 直感主義論理の新しい模型(数学基礎論及びその応用)
• 代数的方法による命題論理の研究 (半群とその周辺)

スポンサーリンク