Cut-elimination and deductive polarization in complementary classical logic

DOI10.1093/JIGPAL/JZX006MaRDI QIDQ4644486zbMATH OpenOpenAlexFDO

Authors Gabriele Pulcini, Walter Carnielli

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/jzx006

zbMATH Keywords

cut-elimination theoremrefutation calculicomplementary classical logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 742720
• scientific article; zbMATH DE number 1337625
• Gentzen's cut-free calculus versus the logic of paradox
• scientific article; zbMATH DE number 1223622
• Sequent calculus for the intersection of LK and the reversed

Cited in

(8)

• A note on cut-elimination for classical propositional logic
• Complementary proof nets for classical logic
• Sequent-calculi for metainferential logics
• Fractional semantics for classical logic
• Paraconsistency in classical logic
• A hybrid calculus for the validities and invalidities of classical propositional logic
• Validities, antivalidities and contingencies: a multi-standard approach
• Towards a non-classical meta-theory for substructural approaches to paradox

This page was built for publication: Cut-elimination and deductive polarization in complementary classical logic

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