Cut-admissibility as a corollary of the subformula property

DOI10.1007/978-3-319-66902-1_4MaRDI QIDQ1694449zbMATH OpenOpenAlexFDO

Authors Ori Lahav, Yoni Zohar

Publication date 2 February 2018

Full work available at URL https://doi.org/10.1007/978-3-319-66902-1_4

Mathematics Subject Classification ID

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

Recommendations

• From the subformula property to cut-admissibility in propositional sequent calculi
• scientific article; zbMATH DE number 149884
• Towards an algorithmic construction of cut-elimination procedures
• Admissibility of cut in congruent modal logics
• The subformula property of natural deduction derivations and analytic cuts

This page was built for publication: Cut-admissibility as a corollary of the subformula property

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