Normal Gentzen Deductions in the Classical Case
Alessandra Palmigiano
Abstract:
In this thesis I define the notion of normality for deductions in a Gentzen
system for the classical case; I prove the normalization theorem for this
notion, and I build two direct correspondences G_n \to N*, N* \to G_n between
normal Gentzen deductions and natural deductions in *-normal form, i.e.
natural deductions in normal form that also satisfy other conditions.