Marginalia on sequent calculi

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


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.



    Upload a copy of this work     Papers currently archived: 78,003

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

24 (#489,939)

6 months
1 (#484,784)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Anne Troelstra
Last affiliation: University of Amsterdam

Citations of this work

Normal Gentzen deductions in the classical case.A. Palmigiano - 2000 - Logic Journal of the IGPL 8 (2):211-219.

Add more citations

References found in this work

No references found.

Add more references