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.
Similar content being viewed by others
References
Cantini A.: The undecidability of Gris̆hin’s set theory. Studia Logica 74, 345–368 (2003)
Gupta, A., On circular concepts, in A. Chapuis, and A. Gupta (eds.), Circularity, Definition, and Truth, Indian Council of Philosophical Research, 2000, pp. 123–153.
Gupta, A., and N. Belnap, The Revision Theory of Truth, MIT Press, 1993.
Gupta, A., and S. Standefer, Conditionals in theories of truth, 2010. In preparation.
Troelstra, A. S., and H. Schwichtenberg, Basic Proof Theory, Cambridge University Press, 2000, 2nd edition.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bruni, R. Analytic Calculi for Circular Concepts by Finite Revision. Stud Logica 101, 915–932 (2013). https://doi.org/10.1007/s11225-012-9402-2
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-012-9402-2