An intuitionistic characterization of classical logic

DOI10.1007/S10992-007-9072-0zbMath1152.03012OpenAlexW1998187354MaRDI QIDQ939055

Ming Hsiung

Publication date: 20 August 2008

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

Full work available at URL: https://doi.org/10.1007/s10992-007-9072-0

zbMATH Keywords

translationKripke semanticsintuitionistic propositional logicclassical propositional logicintermediate logiccomparative analysis of logical systems

Mathematics Subject Classification ID

Classical propositional logic (03B05) Intermediate logics (03B55)

Cites Work

• Unnamed Item

This page was built for publication: An intuitionistic characterization of classical logic