Kripke semantics and proof systems for combining intuitionistic logic and classical logic
DOI10.1016/J.APAL.2012.09.005zbMATH Open1276.03025OpenAlexW2009938424MaRDI QIDQ690929FDOQ690929
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
Recommendations
- Kripke semantics for intuitionistic Łukasiewicz logic
- Unified semantics and proof system for classical, intuitionistic and affine logics
- scientific article; zbMATH DE number 1907113
- scientific article; zbMATH DE number 1823848
- scientific article
- Intuitionistic completeness and classical logic
- Logics of intuitionistic Kripke-Platek set theory
- Kripke semantics for provability logic GLP
- Axioms for classical, intuitionistic, and paraconsistent hybrid logic
- scientific article; zbMATH DE number 3837996
completenessintuitionistic logicsequent calculusclassical logicsoundnesscombining logicshybrid Kripke modelspolarized logic
Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20) Combined logics (03B62) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cited In (10)
- A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
- A term assignment for polarized bi-intuitionistic logic and its strong normalization
- Title not available (Why is that?)
- Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic
- Hypersequent Calculus for Intuitionistic Logic with Classical Atoms
- A Proposal for Broad Spectrum Proof Certificates
- Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
- Consistency, Completeness, and Classicality
- Kripke semantics for the logic of problems and propositions
- On the unification of classical, intuitionistic and affine logics
This page was built for publication: Kripke semantics and proof systems for combining intuitionistic logic and classical logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q690929)
