Uniqueness of axiomatic extensions of cut-free classical propositional logic

DOI10.1093/jigpal/jzw032zbMath1405.03022OpenAlexW2465968278MaRDI QIDQ4644567

Mario Piazza, Gabriele Pulcini

Publication date: 8 January 2019

Published in: Logic Journal of 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

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

Related Items (5)

Abduction as deductive saturation: a proof-theoretic inquiry ⋮ A logic for best explanations ⋮ Keeping Globally Inconsistent Scientific Theories Locally Consistent ⋮ A cut-free sequent calculus for defeasible erotetic inferences ⋮ FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC

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