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-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について (数理論理とモデル理論)