On constructive fragments of classical logic

DOI10.1007/978-3-319-11041-7_12MaRDI QIDQ5213615zbMATH OpenOpenAlexFDO

Authors Luiz Carlos Pereira, Edward Hermann Haeusler

Publication date 4 February 2020

Published in Dag Prawitz on Proofs and Meaning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-11041-7_12

zbMATH Keywords

proof theoryintuitionistic logicclassical logicconstructive interpretations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Separating fragments of WLEM, LPO, and MP
• Interpolation in fragments of intuitionistic propositional logic
• scientific article; zbMATH DE number 1858065
• An embedding of the implicative fragment of classical logic into the implicative fragment of intuitionistic logic
• scientific article; zbMATH DE number 1303434

Cites work

• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A new S4 classical modal logic in natural deduction
• A new normalization strategy for the implicational fragment of classical propositional logic
• Normalization and excluded middle. I
• On cut elimination in the presence of perice rule
• On the proof theory of the intermediate logic MH
• Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik

Cited in

(10)

• The Jacobson radical for an inconsistency predicate
• THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
• Merging fragments of classical logic
• scientific article; zbMATH DE number 16511 (Why is no real title available?)
• FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE
• Separating fragments of WLEM, LPO, and MP
• Closed Fragments of Provability Logics of Constructive Theories
• Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
• A general Glivenko-Gödel theorem for nuclei
• ON SOME INTERPRETATIONS OF CLASSICAL LOGIC

This page was built for publication: On constructive fragments of classical logic

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