Skolem-Mincの定理の一般化について (Boole代数値の解析学と超準解析)

スポンサーリンク

概要

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

著者

• 本橋 信義

  筑波大学数学系

• 白井 古希男

  静岡大学理学部

関連論文

• 証明論の教科書の中で超準解析を書くとすると (ブール代数値の解析学と超準解析)
• 論理教育試論 : カントールの定理を巡って
• 等値命題について
• A decision method for a set of first order classical formulas and its application to decision problems for non-classical propositional logics(Foundational Study and Its Applications)
• 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について (数理論理とモデル理論)
• 真概念の数学的定義とモデルの理論

スポンサーリンク