Kripke semantics and proof systems for combining intuitionistic logic and classical logic

DOI10.1016/j.apal.2012.09.005zbMath1276.03025OpenAlexW2009938424MaRDI QIDQ690929

Chuck Liang, Dale A. Miller

Publication date: 29 November 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.09.005

zbMATH Keywords

completenesssequent calculusintuitionistic logicsoundnessclassical logiccombining logicshybrid Kripke modelspolarized logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Subsystems of classical logic (including intuitionistic logic) (03B20) Combined logics (03B62)

Related Items

Kripke semantics for the logic of problems and propositions ⋮ Consistency, Completeness, and Classicality ⋮ A Proposal for Broad Spectrum Proof Certificates ⋮ On the unification of classical, intuitionistic and affine logics