Minimum segments in sequent derivations

DOI10.2298/PIM0374005BMaRDI QIDQ5714811zbMATH OpenOpenAlexFDO

Authors Mirjana Borisavljević

Publication date 16 December 2005

Published in Publications de l'Institut Math?matique (Belgrade) (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/125314, http://www.emis.de/journals/PIMB/088/index.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

maximum cutsnatural deductionnormal derivationpath of a formulasequent systems

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Recommendations

• Normal derivations and sequent derivations
• scientific article; zbMATH DE number 1169377
• Connections between cuts and maximum segments
• Maximum segments as natural deduction images of some cuts
• Normal form theorem for systems of sequents

Cited in

(5)

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

This page was built for publication: Minimum segments in sequent derivations

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