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: 101,551

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).
1 The type free λρ-calculus.Yuichi Komori & Arato Cho - 2002 - Bulletin of the Section of Logic 31 (2):65-70.
A cut-free system for 16-valued reasoning.Norihiro Kamide - 2005 - Bulletin of the Section of Logic 34 (4):213-226.
Cut-free single-succedent systems revisited.Norihiro Kamide - 2005 - Bulletin of the Section of Logic 34 (3):165-175.
Translations from natural deduction to sequent calculus.Jan von Plato - 2003 - Mathematical Logic Quarterly 49 (5):435.

Analytics

Added to PP
2013-12-18

Downloads
60 (#356,937)

6 months
12 (#302,973)

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.
Derivability and Metainferential Validity.Bruno Da Ré, Damian Szmuc & Paula Teijeiro - 2021 - Journal of Philosophical Logic 51 (6):1521-1547.

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.

Add more references