Cut Elimination in Intuitionistic and Some Intermediate Predicate Logics

スポンサーリンク

概要

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

著者

• Umezawa Toshio

  Department Of Mathematics Faculty Of Science Shizuoka University

関連論文

• Definability and strict definability of logical symbols in intuitionistic predicate logics of first and higher order
• Cut Elimination in Intuitionistic and Some Intermediate Predicate Logics
• Prenex normal form of ∀xA(x) ⊃ B

スポンサーリンク