Studia Logica 101 (5):915-932 (2013)

Abstract
The paper introduces Hilbert– and Gentzen-style calculi which correspond to systems ${\mathsf{C}_{n}}$ from Gupta and Belnap [3]. Systems ${\mathsf{C}_{n}}$ were shown to be sound and complete with respect to the semantics of finite revision. Here, it is shown that Gentzen-style systems ${\mathsf{GC}_{n}}$ admit a syntactic proof of cut elimination. As a consequence, it follows that they are consistent.
Keywords Circular concepts  The revision theory of truth  Analytic calculi
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-012-9402-2
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: 61,008
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

The Undecidability of Grisin's Set Theory.Andrea Cantini - 2003 - Studia Logica 74 (3):345 - 368.
The Undecidability of Grisin's Set Theory.Andrea Cantini - 2003 - Studia Logica 74 (3):345-368.

Add more references

Citations of this work BETA

Conditionals in Theories of Truth.Anil Gupta & Shawn Standefer - 2017 - Journal of Philosophical Logic 46 (1):27-63.
Guest Editors’ Introduction.Riccardo Bruni & Shawn Standefer - 2019 - Journal of Philosophical Logic 48 (1):1-9.
Contraction and Revision.Shawn Standefer - 2016 - Australasian Journal of Logic 13 (3):58-77.
Solovay-Type Theorems for Circular Definitions.Shawn Standefer - 2015 - Review of Symbolic Logic 8 (3):467-487.
Proof Theory for Functional Modal Logic.Shawn Standefer - 2018 - Studia Logica 106 (1):49-84.

View all 7 citations / Add more citations

Similar books and articles

When is Circularity in Definitions Benign?J. A. Burgess - 2007 - Philosophical Quarterly 58 (231):214–233.
Meaning and Circular Definitions.Francesco Orilia - 2000 - Journal of Philosophical Logic 29 (2):155-169.
The Rationale Behind Revision-Rule Semantics.Lionel Shapiro - 2006 - Philosophical Studies 129 (3):477 - 515.

Analytics

Added to PP index
2012-07-22

Total views
52 ( #199,973 of 2,439,470 )

Recent downloads (6 months)
1 ( #433,243 of 2,439,470 )

How can I increase my downloads?

Downloads

My notes