Gentzen's Cut Elimination Theorem for Non-Logicians
About PhilPapers
General Editors:
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Barry Hallen
Hans Halvorson
Jonathan Jenkins Ichikawa
Michelle Kosch
Øystein Linnebo
JeeLoo Liu
Paul Livingston
Brandon Look
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Gualtiero Piccinini
Giuseppe Primiero
Jack Alan Reynolds
Darrell Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Robin Smith
Daniel Star
Jussi Suikkanen
Lynne Tirrell
Aness Webster
Other editors
Contact us
Learn more about PhilPapers
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Barry Hallen
Hans Halvorson
Jonathan Jenkins Ichikawa
Michelle Kosch
Øystein Linnebo
JeeLoo Liu
Paul Livingston
Brandon Look
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Gualtiero Piccinini
Giuseppe Primiero
Jack Alan Reynolds
Darrell Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Robin Smith
Daniel Star
Jussi Suikkanen
Lynne Tirrell
Aness Webster
Other editors
Contact us
Learn more about PhilPapers
Tulane Studies in Philosophy 21:115-126 (1972)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | (categorize this paper) | |||||||||
| DOI | 10.5840/tulane1972212 | |||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 22,498 |
| External links |
Setup an account with your affiliations in order to access resources via your University's proxy server Configure custom proxy (use this if your affiliation does not provide a proxy) |
| Through your library |
|
No references found.
No citations found.
Francesco Belardinelli, Peter Jipsen & Hiroakira Ono (2004). Algebraic Aspects of Cut Elimination. Studia Logica 77 (2):209 - 240.
David J. Pym (1995). A Note on the Proof Theory the λII-Calculus. Studia Logica 54 (2):199 - 230.
Aleksandar Kron (1981). Gentzen Formulations of Two Positive Relevance Logics. Studia Logica 40 (3):381 - 403.
Andreas Weiermann (2006). Classifying the Provably Total Functions of Pa. Bulletin of Symbolic Logic 12 (2):177-190.
Gilles Dowek & Benjamin Werner (2003). Proof Normalization Modulo. Journal of Symbolic Logic 68 (4):1289-1316.
Aleksandar Kron (1980). Gentzen Formulations of Two Positive Relevance Logics. Studia Logica 39 (4):381 - 403.
Tsutomu Hosoi (1988). Gentzen-Type Formulation of the Prepositional Logic LQ. Studia Logica 47 (1):41 - 48.
Roy Dyckhoff & Luis Pinto (1998). Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic. Studia Logica 60 (1):107-118.
Katalin Bimbó (2007). $LE^{T}{Rightarrow}$ , $LR^{Circ}{Wedgesim}$ , LK and Cutfree Proofs. Journal of Philosophical Logic 36 (5):557 - 570.
Anita Wasilewska (1984). DFC-Algorithms for Suszko Logic and One-to-One Gentzen Type Formalizations. Studia Logica 43 (4):395 - 404.
Neil Tennant (2002). Ultimate Normal Forms for Parallelized Natural Deductions. Logic Journal of the IGPL 10 (3):299-337.
Kentaro Kikuchi & Katsumi Sasaki (2003). A Cut-Free Gentzen Formulation of Basic Propositional Calculus. Journal of Logic, Language and Information 12 (2):213-225.
Enrico Moriconi & Laura Tesconi (2008). On Inversion Principles. History and Philosophy of Logic 29 (2):103-113.
Matthias Baaz & Rosalie Iemhoff (2006). Gentzen Calculi for the Existence Predicate. Studia Logica 82 (1):7 - 23.
Gilles Dowek & Olivier Hermant (2012). A Simple Proof That Super-Consistency Implies Cut Elimination. Notre Dame Journal of Formal Logic 53 (4):439-456.
Monthly downloads |
Added to index2011-01-09Total downloads20 ( #199,090 of 1,937,995 )Recent downloads (6 months)1 ( #431,342 of 1,937,995 )How can I increase my downloads? |




