On constructive fragments of classical logic
DOI10.1007/978-3-319-11041-7_12zbMATH Open1429.03059OpenAlexW2242851078MaRDI QIDQ5213615FDOQ5213615
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
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
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)
Cites Work
- Title not available (Why is that?)
- Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
- On the proof theory of the intermediate logic MH
- Normalization and excluded middle. I
- On cut elimination in the presence of perice rule
- A new normalization strategy for the implicational fragment of classical propositional logic
- A new S4 classical modal logic in natural deduction
Cited In (9)
- FRAGMENTS OF FREGE’SGRUNDGESETZEAND GÖDEL’S CONSTRUCTIBLE UNIVERSE
- 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
- Title not available (Why is that?)
- The Jacobson radical for an inconsistency predicate
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- ON SOME INTERPRETATIONS OF CLASSICAL LOGIC
- Merging fragments 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)
