Maximum cuts in extended natural deduction

DOI10.2298/PIM1001059BzbMath1289.03042OpenAlexW2081193518MaRDI QIDQ5396481

Mirjana Borisavljević

Publication date: 7 February 2014

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

Full work available at URL: https://doi.org/10.2298/pim1001059b

zbMATH Keywords

cut eliminationsequent systemmaximum segment

Mathematics Subject Classification ID

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

This page was built for publication: Maximum cuts in extended natural deduction