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

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

[thumbnail of Full Text (PS)] Text (Full Text (PS))

Download (719kB)
[thumbnail of Full Text (PDF)]
Text (Full Text (PDF))

Download (229kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (441B)


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
Report Nr: MoL-1999-01
Series Name: Master of Logic Thesis (MoL) Series
Year: 1999
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:38

Actions (login required)

View Item View Item