| Two normalizations for natural deductions in sequent style
Mirjana Borisavlievic
By using sequent derivations, we will show the role of -forms of derivations, -substitution and -the nature and forms of natural deduction rules, in defining reduction steps of normalization procedures for natural deduction systems.
|