Alessandra Palmigiano  Home/Search
Context
Related
| illc.uva.nl/Public...199901.text.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: illc.uva.nl/Pub...wwwallpublall (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction The idea that proofs are objects capable of being treated by a mathematical theory is due to Hilbert. Proofs are represented as derivations, or deductions, i.e. finite and labeled trees which are build up according to a set of rules; these rules are provided by a formal system and change from one system to another. Structural Proof Theory studies the properties of deductions as combinatorial structures, and the relations between formal systems. The best known formal systems... (Update)
Similar documents (at the sentence level):
11.5%: Normal Gentzen Deductions in the Classical Case - Palmigiano (Correct)
Active bibliography (related documents): More All
0.3: Natural Deduction for Intuitionistic Linear Logic - Troelstra (1993) (Correct)
0.3: Permutability of Proofs in Intuitionistic Sequent Calculi - Dyckhoff, Pinto (1996) (Correct)
0.2: Termination of permutative conversions in intuitionistic.. - Schwichtenberg (1997) (Correct)
Similar documents based on text: More All
0.4: Unknown - Sequent Calculus In (Correct)
0.3: Marginalia on Sequent Calculi - Troelstra (1998) (Correct)
0.2: Joint transmission and detection integrated network.. - Weber, Maniatis.. (2002) (Correct)
BibTeX entry: (Update)
@misc{ palmigiano-normal,
author = "Alessandra Palmigiano",
title = "Normal Gentzen Deductions in the Classical Case",
url = "citeseer.ist.psu.edu/article/palmigiano99normal.html" }
Citations (may not include all citations):88 Basic Proof Theory (context) - Troelstra, Schwichtenberg - 1996
69 Curry: Essays on Combinatory Logic (context) - Seldin, Hindley - 1980
62 The Collected Papers of Gerhard Gentzen (context) - Szabo - 1969
32 The Correspondence between Cut elimination and Normalization (context) - Zucker - 1974
24 Almquist and Wiksell (context) - Prawitz - 1965
24 Normal forms for sequent derivations (context) - Mints - 1996
11 Termination of permutative conversions in intuitionistic Gen.. - Schwichtenberg - 1997
6 Marginalia on sequent calculi - Troelstra
3 Untersuchugen uber das logische Schliessen (context) - Gentzen
3 Existential instantiation and normalization in sequent natur.. (context) - Cellucci - 1992
Documents on the same site (http://www.illc.uva.nl/Publications/Lists/www-allpubl-all.html): More
Temporal Reasoning and Constraint Programming - A Survey - Gennari (1998) (Correct)
Languages of Perception - Dastani (1998) (Correct)
Formalising the Common Sense of a Mobile Robot - Santos (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC