FLAP Journal 2019 Journal Article
Two Normalizations for Natural Deductions in Sequent Style.
- Mirjana Borisavljevic
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.