Uniqueness of axiomatic extensions of cut-free classical propositional logic

DOI10.1093/JIGPAL/JZW032MaRDI QIDQ4644567zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(6)

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

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)