EMIS ELibM Electronic Journals Publications de l’Institut Mathématique, Nouvelle Série
Vol. 101[115], pp. 75–98 (2017)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

Pick a mirror

 		 

THE NORMALIZATION THEOREM FOR EXTENDED NATURAL DEDUCTION

Mirjana Borisavljević

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

Abstract: The normalization theorem for the system of extended natural deduction will be proved as a consequence of the cut-elimination theorem, by using the connections between the system of extended natural deduction and a standard system of sequents.

Keywords: cut elimination; normalization

Classification (MSC2000): 03F05

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

Electronic fulltext finalized on: 24 Apr 2017. This page was last modified: 11 May 2017.

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