PUBLICATIONS DE L'INSTITUT MATHEMATIQUE (BEOGRAD) (N.S.) Vol. 74(88), pp. 5–17 (2003) 

MINIMUM SEGMENTS IN SEQUENT DERIVATIONSMirjana BorisavljevicSaobracajni fakultet, Beograd, Serbia and MontenegroAbstract: In a system of sequents for intuitionistic predicate logic, derivations without a special kind of cuts (maximum cuts) will be considered. The following be shown: in a derivation without maximum cuts there are paths of the same form as paths in a normal derivation of natural deduction, i.e., these paths have the Epart, the Ipart, and one minimum part which corresponds to a minimum segment in a normal derivation. Classification (MSC2000): 03F05; 03F07 Full text of the article: (for faster download, first choose a mirror)
Electronic fulltext finalized on: 21 Dec 2004. This page was last modified: 9 Feb 2005.
© 2004 Mathematical Institute of the Serbian Academy of Science and Arts
