The UvA-LINKER will give you a range of other options to find the full text of a publication (including a direct link to the full-text if it is located on another database on the internet).
De UvA-LINKER biedt mogelijkheden om een publicatie elders te vinden (inclusief een directe link naar de publicatie online als deze beschikbaar is in een database op het internet).

Zoekresultaten

Zoekopdracht: faculteit: "FNWI" en publicatiejaar: "1999"

AuteurAlessandra Palmigiano
TitelNormal Gentzen Deductions in the Classical Case
Jaar1999
FaculteitFaculteit der Natuurwetenschappen, Wiskunde en Informatica
Instituut/afd.FNWI/FGw: Institute for Logic, Language and Computation (ILLC)
SerieILLC Master of Logic Theses / ILLC ; MoL-1999-01
SamenvattingNormal Gentzen Deductions in the Classical Case
Alessandra Palmigiano

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.
Soort documentPreprint
Download bestanden
Document finderUvA-Linker