Connections between cuts and maximum segments

MaRDI QIDQ4899876zbMATH OpenFDO

Authors Mirjana Borisavljević

Publication date 10 January 2013

zbMATH Keywords

cut eliminationnatural deductionnormalizationsystems of sequents

Mathematics Subject Classification ID

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

Recommendations

• Maximum segments as natural deduction images of some cuts
• Maximum cuts in extended natural deduction
• Normal form theorem for systems of sequents
• Normal derivations and sequent derivations
• Normalization as a consequence of cut elimination

Cited in

(5)

• Normal derivations and sequent derivations
• Maximum segments as natural deduction images of some cuts
• Normal form theorem for systems of sequents
• Maximum cuts in extended natural deduction
• Minimum segments in sequent derivations

This page was built for publication: Connections between cuts and maximum segments

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