Rereading Gentzen

Synthese 137 (1-2):195 - 209 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

2004

DOI

10.1023/a:1026243304544

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

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

Through your library

My notes

Similar books and articles

Nietzsche's rereading of Plato.Catherine Zuckert - 1985 - Political Theory 13 (2):213-238.
Gödel's reformulation of Gentzen's first consistency proof for arithmetic: The no-counterexample interpretation.W. W. Tait - 2005 - Bulletin of Symbolic Logic 11 (2):225-238.
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.
On purported Gentzen formulations of two positive relevent logics.Steve Giambrone - 1985 - Studia Logica 44 (3):233 - 236.
Gentzen-type formulation of the prepositional logic LQ.Tsutomu Hosoi - 1988 - Studia Logica 47 (1):41 - 48.
Four relevant Gentzen systems.Steve Giambrone & Aleksandar Kron - 1987 - Studia Logica 46 (1):55 - 71.
Protoalgebraic Gentzen systems and the cut rule.Àngel J. Gil & Jordi Rebagliato - 2000 - Studia Logica 65 (1):53-89.
Virtue reformed: rereading Jonathan Edwards's ethics.Stephen A. Wilson - 2005 - Boston: Brill.
Gentzen's Proof of Normalization for Natural Deduction.Jan von Plato & G. Gentzen - 2008 - Bulletin of Symbolic Logic 14 (2):240 - 257.

Analytics

Added to PP
2009-01-28

Downloads
63 (#246,899)

6 months
7 (#350,235)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jan Von Plato
University of Helsinki

Citations of this work

On Inversion Principles.Enrico Moriconi & Laura Tesconi - 2008 - History and Philosophy of Logic 29 (2):103-113.

Add more citations

References found in this work

Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.

View all 16 references / Add more references