Intuitionistic completeness for first order classical logic

DOI10.2307/2586766MaRDI QIDQ4254637zbMATH OpenOpenAlexFDO

Authors Stefano Berardi

Publication date 29 June 1999

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

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

zbMATH Keywords

classical modelsclassical theoryconsistencyintuitionistic completenessintuitionistic counterparts of classical notions

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07)

Recommendations

• Intuitionistic completeness of first-order logic
• Intuitionistic completeness and classical logic
• scientific article; zbMATH DE number 1169382
• An intuitionistic completeness theorem for classical predicate logic
• Completeness and incompleteness for intuitionistic logic
• Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique
• Conceptual completeness for first-order intuitionistic logic: An application of categorical logic
• Strong conceptual completeness for first-order logic
• An intuitionistic characterization of classical logic
• Publication:3481700

Cited in

(9)

• Intuitionistic completeness and classical logic
• Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic
• Krivine's intuitionistic proof of classical completeness (for countable languages)
• A semantic approach to conservativity
• On two classical results in the first order logic
• Intuitionistic completeness of first-order logic
• Classical logic as limit completion
• Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness
• An intuitionistic completeness theorem for classical predicate logic

This page was built for publication: Intuitionistic completeness for first order classical logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4254637)