Abstract
We consider two classifications of extensions of Johansson’s minimal logic J. Logics and then calculi are divided into levels and slices with numbers from 0 to ω. We prove that the first classification is strongly decidable over J, i.e., from any finite list Rul of axiom schemes and inference rules, we can effectively compute the level number of the calculus (J + Rul). We prove the strong decidability of each slice with finite number: for each n and arbitrary finite Rul, we can effectively check whether the calculus (J + Rul) belongs to the nth slice.
Similar content being viewed by others
References
Johansson I., “Der Minimalkalkül, ein reduzierter intuitionistische Formalismus,” Compos. Math., vol. 4, 119–136 (1937).
Maksimova L. L. and Yun V. F., “Layers over minimal logic,” Algebra and Logic, vol. 55, no. 4, 295–305 (2016).
Hosoi T., “On intermediate logics. I,” J. Fac. Sci., Univ. Tokyo, Sec. Ia, vol. 14, 293–312 (1967).
Maksimova L. L., “The structure of slices over minimal logic,” Sib. Math. J., vol. 57, no. 5, 841–848 (2016).
Maksimova L., “Strongly decidable properties of modal and intuitionistic calculi,” Log. J. IGPL, vol. 8, no. 6, 797–819 (2000).
Maksimova L. L. and Yun V. F., “Recognizable logics,” Algebra and Logic, vol. 54, no. 2, 183–187 (2015).
Maksimova L. L. and Yun V. F., “Strong decidability and strong recognizability,” Algebra and Logic, vol. 56, no. 5 (2017).
Rautenberg W., Klassische und nichtklassiche Aussagenlogik, Vieweg-Verlag, Wiesbaden (1979).
Odintsov S., Constructive Negations and Paraconsistency, Springer-Verlag, Dordrecht (2008) (Trends in Logic; vol. 26).
Rasiowa H. and Sikorski R., The Mathematics of Metamathematics, PWN, Warsaw (1962).
Segerberg K., “Propositional logics related to Heyting’s and Johansson’s,” Theoria, vol. 34, 26–61 (1968).
Maksimova L. L., “A method of proving interpolation in paraconsistent extensions of the minimal logic,” Algebra and Logic, vol. 46, no. 5, 341–353 (2007).
Stone M. H., “Topological representations of distributive lattices and Brouwerian logics,” Časopis Pěst. Mat., vol. 67, no. 1, 1–25 (1938).
Odintsov S. P., “Logic of classical refutability and class of extensions of minimal logic,” Log. Log. Philos., vol. 9, 91–107 (2001).
Dummett M., “A propositional calculus with denumerable matrix,” J. Symb. Log., vol. 24, 97–106 (1959).
Maksimova L. L., “The decidability of Craig’s interpolation property in well-composed J-logics,” Sib. Math. J., vol. 53, no. 5, 839–852 (2012).
Dunn J. M. and Meyer R. K., “Algebraic completeness results for Dummett’s LC and its extensions,” Z. Math. Logik Grundlag. Math., vol. 17, 225–230 (1971).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text Copyright © 2017 Maksimova L.L. and Yun V.F.
The authors were partially supported by the State Maintenance Program for the Leading Scientific Schools of the Russian Federation (Grant NSh–6848.2016.1).
Novosibirsk. Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 58, No. 6, pp. 1341–1353, November–December, 2017
Rights and permissions
About this article
Cite this article
Maksimova, L.L., Yun, V.F. Slices and Levels of Extensions of the Minimal Logic. Sib Math J 58, 1042–1051 (2017). https://doi.org/10.1134/S0037446617060131
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0037446617060131