The subformula property of natural deduction derivations and analytic cuts

DOI10.1093/JIGPAL/JZAA017MaRDI QIDQ5014060zbMATH OpenOpenAlexFDO

Authors Mirjana Borisavljević

Publication date 3 December 2021

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

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

zbMATH Keywords

natural deductionsubformula propertysystems of sequents

Mathematics Subject Classification ID

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

Recommendations

• Normal derivations and sequent derivations
• AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ
• Minimum segments in sequent derivations
• scientific article; zbMATH DE number 3275554
• Maximum cuts in extended natural deduction

Cited in

(6)

• Cut-admissibility as a corollary of the subformula property
• Maximum segments as natural deduction images of some cuts
• From the subformula property to cut-admissibility in propositional sequent calculi
• Maximum cuts in extended natural deduction
• The elimination of maximum cuts in linear logic and BCK logic
• Sequent images of normal derivations and natural deduction images of derivations without m-cuts

This page was built for publication: The subformula property of natural deduction derivations and analytic cuts

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