Studia Logica 62 (2):291-303 (1999)

Authors
Anne Troelstra
University of Amsterdam
Abstract
The paper discusses the relationship between normal natural deductions and cutfree proofs in Gentzen (sequent) calculi in the absence of term labeling. For Gentzen calculi this is the usual version; for natural deduction this is the version under the complete discharge convention, where open assumptions are always discharged as soon as possible. The paper supplements work by Mints, Pinto, Dyckhoff, and Schwichtenberg on the labeled calculi.
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1026413320413
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,973
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Normal Gentzen Deductions in the Classical Case.A. Palmigiano - 2000 - Logic Journal of the IGPL 8 (2):211-219.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
23 ( #431,248 of 2,344,088 )

Recent downloads (6 months)
1 ( #514,058 of 2,344,088 )

How can I increase my downloads?

Downloads

My notes