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))
MoL-1999-01.text.ps.gz

Download (719kB)
[thumbnail of Full Text (PDF)]
Preview
Text (Full Text (PDF))
MoL-1999-01.text.pdf

Download (229kB) | Preview
[thumbnail of Abstract] 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 View Item