MoL-1999-01: Palmigiano, Alessandra (1999) Normal Gentzen Deductions in the Classical Case. [Report]
![[thumbnail of Full Text (PS)]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text (PS))
MoL-1999-01.text.ps.gz Download (719kB) |
Preview |
Text (Full Text (PDF))
MoL-1999-01.text.pdf Download (229kB) | Preview |
|
Text (Abstract)
MoL-1999-01.abstract.txt Download (441B) |
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 |
|---|---|
| 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 |
| URI: | https://eprints.illc.uva.nl/id/eprint/704 |
Actions (login required)
 |
View Item |
