On intermediate many-valued logics

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人 日本数学会の論文

著者

• Umezawa Toshio

  Mathematical Institute Faculty Of Science Shizuoka University

• UMEZAWA Toshio

  Mathematical Institute, Nagoya 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

スポンサーリンク