Gentzen's cut-free calculus versus the logic of paradox

Bulletin of the Section of Logic 39 (1/2):35-42 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,554

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

Cut-free sequent calculus for S5.Andrzej Indrzejczak - 1996 - Bulletin of the Section of Logic 25 (2):95-102.
Cut-free hypersequent calculus for s4. 3.Andrzej Indrzejczak - 2012 - Bulletin of the Section of Logic 41 (1/2):89-104.
A cut-free Gentzen calculus with subformula property for first-degree entailments in lc.Alexej P. Pynko - 2003 - Bulletin of the Section of Logic 32 (3):137-146.
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms.Franco Parlamento & Flavio Previale - 2013 - In Kamal Lodaya (ed.), Logic and Its Applications. Springer. pp. 161--172.
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate.Paolo Maffezioli & Eugenio Orlandelli - 2019 - Bulletin of the Section of Logic 48 (2):137-158.
An Alternative Natural Deduction for the Intuitionistic Propositional Logic.Mirjana Ilić - 2016 - Bulletin of the Section of Logic 45 (1).
Translations from natural deduction to sequent calculus.Jan von Plato - 2003 - Mathematical Logic Quarterly 49 (5):435.
1 The type free λρ-calculus.Yuichi Komori & Arato Cho - 2002 - Bulletin of the Section of Logic 31 (2):65-70.
A cut-free gentzen-type system for the logic of the weak law of excluded middle.Branislav R. Boričić - 1986 - Studia Logica 45 (1):39-53.
Cut-free single-succedent systems revisited.Norihiro Kamide - 2005 - Bulletin of the Section of Logic 34 (3):165-175.

Analytics

Added to PP
2013-12-18

Downloads
52 (#334,007)

6 months
10 (#615,726)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Metainferential duality.Bruno Da Ré, Federico Pailos, Damian Szmuc & Paula Teijeiro - 2020 - Journal of Applied Non-Classical Logics 30 (4):312-334.

View all 18 citations / Add more citations

References found in this work

In contradiction: a study of the transconsistent.Graham Priest - 2006 - New York: Oxford University Press.
The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
In Contradiction: A Study of the Transconsistent.N. C. A. Da Costa - 1989 - Philosophical Quarterly 39 (157):498-502.

View all 6 references / Add more references