NORMAL DERIVATIONS AND SEQUENT DERIVATIONS |
| |
Authors: | Mirjana Borisavljevi |
| |
Affiliation: | (1) Faculty of Transport and Traffic Engineering, University of Belgrade, Vojvode Stepe 305, 11000 Belgrade, Serbia |
| |
Abstract: | The well-known picture that sequent derivations without cuts and normal derivations “are the same” will be changed. Sequent derivations without maximum cuts (i.e. special cuts which correspond to maximum segments from natural deduction) will be considered. It will be shown that the natural deduction image of a sequent derivation without maximum cuts is a normal derivation, and the sequent image of a normal derivation is a derivation without maximum cuts. The main consequence of that property will be that sequent derivations without maximum cuts and normal derivations “are the same”. |
| |
Keywords: | cut elimination normalization |
本文献已被 SpringerLink 等数据库收录! |