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

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

Pick a mirror

 		 

MINIMUM SEGMENTS IN SEQUENT DERIVATIONS

Mirjana Borisavljevic

Saobracajni fakultet, Beograd, Serbia and Montenegro

Abstract: 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 E-part, the I-part, 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
© 2004–2005 ELibM for the EMIS Electronic Edition