直観主義述語論理におけるSkolem Functionについて (数理論理とモデル理論)

スポンサーリンク

概要

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

著者

• 白井 古希男

  静岡大学理学部

• 白井 古希男

  城西大学理学部

関連論文

• Skolem-Mincの定理の一般化について (Boole代数値の解析学と超準解析)
• On the strong completeness theorems for the first-order generalized intuitionistic predicate calculus
• A Characterization of Axiom Schema playing the role of Terium non Datur in Intuitionistic Predicate Logic(New Aspects in Non-Classical Logics and Their Kripke Semantics)
• 直観主義述語論理におけるSkolem Functionについて (数理論理とモデル理論)

スポンサーリンク