Abstract
The language of Reflection Calculus \(\mathrm {RC}\) consists of implications between formulas built up from propositional variables and the constant ‘true’ using only conjunction and the diamond modalities which are interpreted in Peano arithmetic as restricted uniform reflection principles. In [6] we introduced \({\mathrm {RC}^\nabla }\), an extension of \(\mathrm {RC}\) by a series of modalities representing the operators associating with a given arithmetical theory T its fragment axiomatized by all theorems of T of arithmetical complexity \(\varPi ^0_n\), for all \(n>0\). In this paper we continue the study of the variable-free fragment of \({\mathrm {RC}^\nabla }\) and characterize its Lindenbaum–Tarski algebra in several natural ways.
L. D. Beklemishev—This work is supported by the Russian Science Foundation under grant 16–11–10252.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We do not distinguish notationally an operation on a set and its restriction to a subset.
- 2.
We avoid the term ‘consistent’, for even the improper theory corresponds to a consistent set of arithmetical sentences.
References
Beklemishev, L.D., Onoprienko, A.A.: On some slowly terminating term rewriting systems. Sbornik Math. 206, 1173–1190 (2015)
Beklemishev, L.D.: Provability algebras and proof-theoretic ordinals. Ann. Pure Appl. Logic 128, 103–123 (2004)
Beklemishev, L.D.: Reflection principles and provability algebras in formal arithmetic. Russ. Math. Surv. 60(2), 197–268 (2005). Russian original: Uspekhi Matematicheskikh Nauk, 60(2): 3–78 (2005)
Beklemishev, L.D.: The Worm principle. In: Chatzidakis, Z., Koepke, P., Pohlers, W. (eds.) Logic Colloquium 2002. Lecture Notes in Logic, vol. 27, pp. 75–95. AK Peters (2006). Preprint: Logic Group Preprint Series 219, Utrecht University, March 2003
Beklemishev, L.D.: Calibrating provability logic: from modal logic to reflection calculus. In: Bolander, T., Braüner, T., Ghilardi, S., Moss, L. (eds.) Advances in Modal Logic, vol. 9, pp. 89–94. College Publications, London (2012)
Beklemishev, L.D.: On the reflection calculus with partial conservativity operators. In: Kennedy, J., de Queiroz, R.J.G.B. (eds.) WoLLIC 2017. LNCS, vol. 10388, pp. 48–67. Springer, Heidelberg (2017). https://doi.org/10.1007/978-3-662-55386-2_4
Beklemishev, L.D., Joosten, J., Vervoort, M.: A finitary treatment of the closed fragment of Japaridze’s provability logic. J. Logic Comput. 15(4), 447–463 (2005)
Boolos, G.: The Logic of Provability. Cambridge University Press, Cambridge (1993)
Dashkov, E.V.: On the positive fragment of the polymodal provability logic GLP. Matematicheskie Zametki 91(3), 331–346 (2012). English translation: Mathematical Notes 91(3):318–333, 2012
Fernández-Duque, D., Joosten, J.: Models of transfinite provability logic. J. Symbol. Logic 78(2), 543–561 (2013)
Reyes, E.H., Joosten, J.J.: The logic of Turing progressions. arXiv:1604.08705v2 [math.LO] (2016)
Reyes, E.H., Joosten, J.J.: Relational semantics for the Turing Schmerl calculus. arXiv:1709.04715 [math.LO] (2017)
Icard III, T.F.: A topological study of the closed fragment of GLP. J. Logic Comput. 21(4), 683–696 (2011)
Ignatiev, K.N.: On strong provability predicates and the associated modal logics. J. Symbol. Logic 58, 249–290 (1993)
Jackson, M.: Semilattices with closure. Algebra Universalis 52, 1–37 (2004)
Japaridze, G.K.: The modal logical means of investigation of provability. Thesis in Philosophy, in Russian, Moscow (1986)
Joosten, J.J.: Turing–Taylor expansions of arithmetical theories. Studia Logica 104, 1225–1243 (2015). https://doi.org/10.1007/s11225-016-9674-z
Kikot, S., Kurucz, A., Tanaka, Y., Wolter, F., Zakharyaschev, M.: On the completeness of EL-equations: first results. In: 11th International Conference on Advances in Modal Logic, Short Papers (Budapest, 30 August – 2 September, 2016), pp. 82–87 (2016)
Kikot, S., Kurucz, A., Tanaka, Y., Wolter, F., Zakharyaschev, M.: Kripke Completeness of strictly positive modal logics over meet-semilattices with operators. ArXiv e-prints, August 2017
Kurucz, A., Tanaka, Y., Wolter, F., Zakharyaschev, M.: Conservativity of Boolean algebras with operators over semi lattices with operators. In: Proceedings of TACL 2011, pp. 49–52 (2011)
Pakhomov, F.: On the complexity of the closed fragment of Japaridze’s provability logic. Archive Math. Logic 53(7), 949–967 (2014)
Pakhomov, F.: On elementary theories of ordinal notation systems based on reflection principles. Proc. Steklov Inst. Math. 289, 194–212 (2015)
Shamkanov, D.: Nested sequents for provability logic GLP. Logic J. IGPL 23(5), 789–815 (2015)
Sofronie-Stokkermans, V.: Locality and subsumption testing in EL and some of its extensions. In: Areces, C., Goldblatt, R. (eds.) Advances in Modal Logic, vol. 7, pp. 315–339. College Publications, London (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Beklemishev, L.D. (2018). A Universal Algebra for the Variable-Free Fragment of \({\mathrm {RC}^\nabla }\) . In: Artemov, S., Nerode, A. (eds) Logical Foundations of Computer Science. LFCS 2018. Lecture Notes in Computer Science(), vol 10703. Springer, Cham. https://doi.org/10.1007/978-3-319-72056-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-72056-2_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-72055-5
Online ISBN: 978-3-319-72056-2
eBook Packages: Computer ScienceComputer Science (R0)