# MoL-1999-01: Normal Gentzen Deductions in the Classical Case

MoL-1999-01: Palmigiano, Alessandra (1999) Normal Gentzen Deductions in the Classical Case. [Report]

## 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.

Item Type: Report MoL-1999-01 Master of Logic Thesis (MoL) Series 1999 12 Oct 2016 14:38 12 Oct 2016 14:38 https://eprints.illc.uva.nl/id/eprint/704