Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae

DOI10.2307/2964291zbMath0086.24601OpenAlexW2144086150MaRDI QIDQ3259069

Georg Kreisel

Publication date: 1959

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2964291

zbMATH Keywords

philosophy and foundations of mathematics

Related Items

On theorems of Gödel and Kreisel: Completeness and Markov's principle, Semantical analysis of the logic of bunched implications, Jean van Heijenoort's contributions to proof theory and its history, Why classical logic is privileged: justification of logics based on translatability, Reflexive intermediate propositional logics, On the Mints Hierarchy in First-Order Intuitionistic Logic, Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

Cites Work

• Intuitionism. An introduction
• Proofs of non-deducibility in intuitionistic functional calculus