scientific article; zbMATH DE number 3336772
From MaRDI portal
Publication:5613908
zbMath0212.31301MaRDI QIDQ5613908
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)
Related Items
Some obstacles facing a semantic foundation for constructive mathematics, Justification logic and type theory as formalizations of intuitionistic propositional logic, Self-referentiality of Brouwer-Heyting-Kolmogorov semantics, Montague's paradox, informal provability, and explicit modal logic, Verificationism and Classical Realizability, Theory of proofs (arithmetic and analysis), Gödel and Intuitionism, Realizability and intuitionistic logic
