Review of Symbolic Logic 13 (4):882-886 (2020)

Authors
Andreas Fjellstad
University of Bergen
Abstract
This note shows that the permutation instructions presented by Zardini for eliminating cuts on universally quantified formulas in the sequent calculus for the noncontractive theory of truth IKTω are inadequate. To that purpose the note presents a derivation in the sequent calculus for IKTω ending with an application of cut on a universally quantified formula which the permutation instructions cannot deal with. The counterexample is of the kind that leaves open the question whether cut can be shown to be eliminable in the sequent calculus for IKTω with an alternative strategy.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020319000571
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 55,981
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Truth Without Contra(di)Ction.Elia Zardini - 2011 - Review of Symbolic Logic 4 (4):498-535.
Contraction, Infinitary Quantifiers, and Omega Paradoxes.Bruno Da Ré & Lucas Rosenblatt - 2018 - Journal of Philosophical Logic 47 (4):611-629.
Infinitary Contraction‐Free Revenge.Andreas Fjellstad - 2018 - Thought: A Journal of Philosophy 7 (3):179-189.
Contraction, Infinitary Quantifiers, and Omega Paradoxes.Lucas Rosenblatt & Bruno Ré - 2018 - Journal of Philosophical Logic 47 (4):611-629.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Note on the Proof Theory the λII-Calculus.David J. Pym - 1995 - Studia Logica 54 (2):199 - 230.
Canonical Proof Nets for Classical Logic.Richard McKinley - 2013 - Annals of Pure and Applied Logic 164 (6):702-732.
2-Sequent Calculus: A Proof Theory of Modalities.Andrea Masini - 1992 - Annals of Pure and Applied Logic 58 (3):229-246.
Sequent Calculus in Natural Deduction Style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
Sequent Calculus in Natural Deduction Style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
Contraction-Elimination for Implicational Logics.Ryo Kashima - 1997 - Annals of Pure and Applied Logic 84 (1):17-39.

Analytics

Added to PP index
2019-10-25

Total views
9 ( #886,463 of 2,403,582 )

Recent downloads (6 months)
4 ( #197,288 of 2,403,582 )

How can I increase my downloads?

Downloads

My notes