A method for cut elimination in intuitionistic predicate logic and classical predicate logic

スポンサーリンク

概要

• 論文の詳細を見る
• 静岡大学の論文

著者

• Umezawa Toshio

  Mathematical Institute Faculty Of Science Shizuoka University

関連論文

• Disjunction Property in Higher Order Number Theory with Intuitionitic Rules of Inference I
• Disjunction Property in Higher Order Number Theory with Intuitionistic Rules of Inference II
• A method for cut elimination in intuitionistic predicate logic and classical predicate logic
• On intermediate many-valued logics

スポンサーリンク