Minimum segments in sequent derivations

DOI10.2298/PIM0374005BzbMath1076.03037OpenAlexW2059371112MaRDI QIDQ5714811

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

zbMATH Keywords

natural deductionmaximum cutssequent systemsnormal derivationpath of a formula

Mathematics Subject Classification ID

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

Related Items (1)

Normal derivations and sequent derivations

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