Two Normalizations for Natural Deductions in Sequent Style.

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.

Authors

• Mirjana Borisavljevic

Keywords

• natural deduction
• sequent systems
• normalization
• cut elimination