Uniqueness of axiomatic extensions of cut-free classical propositional logic

DOI10.1093/JIGPAL/JZW032zbMATH Open1405.03022OpenAlexW2465968278MaRDI QIDQ4644567FDOQ4644567

Authors: Mario Piazza, Gabriele Pulcini 

Publication date: 8 January 2019

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzw032

Recommendations

• Cut Elimination in the Presence of Axioms
• Cut-free single-succedent systems revisited
• Extension without cut
• Gentzen's cut-free calculus versus the logic of paradox
• Computer Science Logic

zbMATH Keywords

proof theoryaxiomatic extensionscut elimination with proper axiomslogic of pivotal assumptions

Mathematics Subject Classification ID

Classical propositional logic (03B05) Cut-elimination and normal-form theorems (03F05)

Cited In (6)

• Keeping globally inconsistent scientific theories locally consistent
• Cut elimination for the unified logic
• Abduction as deductive saturation: a proof-theoretic inquiry
• Fractional semantics for classical logic
• A cut-free sequent calculus for defeasible erotetic inferences
• A logic for best explanations

This page was built for publication: Uniqueness of axiomatic extensions of cut-free classical propositional logic

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