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

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 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.
A cut-free Gentzen formulation of basic propositional calculus.Kentaro Kikuchi & Katsumi Sasaki - 2003 - Journal of Logic, Language and Information 12 (2):213-225.
Free assumptions and the liar paradox.Patrick Greenough - 2001 - American Philosophical Quarterly 38 (2):115 - 135.
Symmetric and dual paraconsistent logics.Norihiro Kamide & Heinrich Wansing - 2010 - Logic and Logical Philosophy 19 (1-2):7-30.
A Gentzen-style axiomatization for basic predicate calculus.Mojtaba Aghaei & Mohammad Ardeshir - 2003 - Archive for Mathematical Logic 42 (3):245-259.
Characterizing Belnap's Logic via De Morgan's Laws.Alexej P. Pynko - 1995 - Mathematical Logic Quarterly 41 (4):442-454.
A cut-free simple sequent calculus for modal logic S5.Francesca Poggiolesi - 2008 - Review of Symbolic Logic 1 (1):3-15.
On Gentzen Relations Associated with Finite-valued Logics Preserving Degrees of Truth.Angel J. Gil - 2013 - Studia Logica 101 (4):749-781.
A note on the proof theory the λII-calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
LEt ® , LR °[^( ~ )], LK and cutfree proofs.Katalin Bimbó - 2007 - Journal of Philosophical Logic 36 (5):557-570.

Analytics

Added to PP
2013-12-18

Downloads
44 (#346,435)

6 months
8 (#303,628)

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 16 citations / Add more citations

References found in this work

In contradiction: a study of the transconsistent.Graham Priest - 1987 - 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