Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction

&
In Dieter Probst & Peter Schuster, Concepts of Proof in Mathematics, Philosophy, and Computer Science. Berlin, Boston: De Gruyter. pp. 269-290 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1515/9781501502620-016

Other Versions

No versions found

View all bargains

Buy this book

Find it on Amazon.com

Links

PhilArchive

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

Labeled sequent calculi for modal logics and implicit contractions.Pierluigi Minari - 2013 - Archive for Mathematical Logic 52 (7-8):881-907.
Contraction-free sequent calculi for geometric theories with an application to Barr's theorem.Sara Negri - 2003 - Archive for Mathematical Logic 42 (4):389-401.
Contraction-elimination for implicational logics.Ryo Kashima - 1997 - Annals of Pure and Applied Logic 84 (1):17-39.
A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.
Gentzen's proof systems: byproducts in a work of genius.Jan von Plato - 2012 - Bulletin of Symbolic Logic 18 (3):313-367.
On Inversion Principles.Enrico Moriconi & Laura Tesconi - 2008 - History and Philosophy of Logic 29 (2):103-113.
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.
Sequent Calculi And Quasivarieties.Katarzyna Palasinska - 2000 - Reports on Mathematical Logic:107-131.
Translations from natural deduction to sequent calculus.Jan von Plato - 2003 - Mathematical Logic Quarterly 49 (5):435.

Analytics

Added to PP
2016-07-30

Downloads
51 (#1,160,916)

6 months
4 (#1,738,668)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Photo of Jan Von Plato
Jan Von Plato
University of Helsinki
Photo of Sara Negri
Sara Negri

Citations of this work

Reading Conclusions Conjunctively.Camillo Fiore - 2024 - Journal of Philosophical Logic 53 (6):1641-1672.
What the Tortoise Said to Achilles: Lewis Carroll’s paradox in terms of Hilbert arithmetic.Vasil Penchev - 2021 - Logic and Philosophy of Mathematics eJournal (Elsevier: SSRN) 13 (22):1-32.

Add more citations

References found in this work

Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.
Untersuchungen über das logische Schliessen.Gerhard Gentzen - 1969 - Darmstadt,: Wissenschaftliche Buchgesellschaft.
Elements of Logical Reasoning.Jan von Plato - 2013 - Cambridge and New York: Cambridge University Press.
The normalization of derivations.G. Gentzen - 2008 - Bulletin of Symbolic Logic 14 (2).

Add more references