Intuitionistic completeness for first order classical logic

DOI10.2307/2586766zbMath0929.03039OpenAlexW2064071203MaRDI QIDQ4254637

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

consistencyclassical modelsclassical theoryintuitionistic completenessintuitionistic counterparts of classical notions

Mathematics Subject Classification ID

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

Related Items (1)

Krivine's intuitionistic proof of classical completeness (for countable languages)

Cites Work

• Unnamed Item

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