Cut Elimination in a Gentzen-Style ε-Calculus Without Identity

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (36):527-538 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1977

DOI

10.1002/malq.19770233606

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

A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
A cut-free Gentzen formulation of basic propositional calculus.Kentaro Kikuchi & Katsumi Sasaki - 2003 - Journal of Logic, Language and Information 12 (2):213-225.
Two Weak Lambek-Style Calculi: DNL and DNL.Wojciech Zielonka - 2012 - Logic and Logical Philosophy 21 (1):53-64.
A Gentzen-style axiomatization for basic predicate calculus.Mojtaba Aghaei & Mohammad Ardeshir - 2003 - Archive for Mathematical Logic 42 (3):245-259.
Gentzen-style Calculi For Quasi-identities Of Finite Algebras.Andrzej Wronski - 1994 - Reports on Mathematical Logic:73-79.
Translations from natural deduction to sequent calculus.Jan von Plato - 2003 - Mathematical Logic Quarterly 49 (5):435.
Cut elimination for a calculus with context-dependent rules.Birgit Elbl - 2001 - Archive for Mathematical Logic 40 (3):167-188.
Cut-elimination Theorems of Some Infinitary Modal Logics.Yoshihito Tanaka - 2001 - Mathematical Logic Quarterly 47 (3):327-340.
A Cut-free Gentzen Formulation Of The Modal Logic S5.T. Braüner - 2000 - Logic Journal of the IGPL 8 (5):629-643.
Cut Elimination for GLS Using the Terminability of its Regress Process.Jude Brighton - 2016 - Journal of Philosophical Logic 45 (2):147-153.
Implications-as-Rules vs. Implications-as-Links: An Alternative Implication-Left Schema for the Sequent Calculus. [REVIEW]Peter Schroeder-Heister - 2011 - Journal of Philosophical Logic 40 (1):95 - 101.
Gentzen’s consistency proof without heightlines.Annika Siders - 2013 - Archive for Mathematical Logic 52 (3-4):449-468.
Synchronized Linear-Time Temporal Logic.Heinrich Wansing & Norihiro Kamide - 2011 - Studia Logica 99 (1-3):365-388.
Contraction-elimination for implicational logics.Ryo Kashima - 1997 - Annals of Pure and Applied Logic 84 (1):17-39.
On the proof-theory of a first-order extension of GL.Yehuda Schwartz & George Tourlakis - 2014 - Logic and Logical Philosophy 23 (3).

Analytics

Added to PP
2013-11-24

Downloads
32 (#473,773)

6 months
1 (#1,459,555)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Semantics and Proof Theory of the Epsilon Calculus.Richard Zach - 2017 - In Ghosh Sujata & Prasad Sanjiva (eds.), Logic and Its Applications. ICLA 2017. Springer. pp. 27-47.
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.
Harmonising natural deduction.Barry Hartley Slater - 2008 - Synthese 163 (2):187-198.

Add more citations

References found in this work

No references found.

Add more references