Modal Intuitionistic Logics and Predicate Superintuitionistic Logics : Correspondence Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• Bezhanishvili Guram

  Jaist

関連論文

• Modal Intuitionistic Logics and Predicate Superintuitionistic Logics : Correspondence Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)

スポンサーリンク