EMIS ELibM Electronic Journals Publications de l'Institut Mathématique, Nouvelle Série
Vol. 87(101), pp. 59–74 (2010)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home


Pick a mirror



Mirjana Borisavljevic

Faculty of Transport and Traffic Engineering, University of Belgrade, Belgrade, Serbia

Abstract: We consider a standard system of sequents and a system of extended natural deduction (which is a modification of natural deduction) for intuitionistic predicate logic and connect the special cuts, maximum cuts, from sequent derivations and maximum segments from derivations of extended natural deduction. We show that the image of a sequent derivation without maximum cuts is a derivation without maximum segments (i.e., a normal derivation) in extended natural deduction.

Keywords: systems of sequents, natural deduction, cut elimination, normalization

Classification (MSC2000): 03F05; 03F07

Full text of the article: (for faster download, first choose a mirror)

Electronic fulltext finalized on: 20 Apr 2010. This page was last modified: 14 May 2010.

© 2010 Mathematical Institute of the Serbian Academy of Science and Arts
© 2010 ELibM and FIZ Karlsruhe / Zentralblatt MATH for the EMIS Electronic Edition