Abstract
A deductive system is said to be structurally complete if its admissible rules are derivable. In addition, it is called hereditarily structurally complete if all its extensions are structurally complete. Citkin (1978) proved that an intermediate logic is hereditarily structurally complete if and only if the variety of Heyting algebras associated with it omits five finite algebras. Despite its importance in the theory of admissible rules, a direct proof of Citkin’s theorem is not widely accessible. In this paper we offer a self-contained proof of Citkin’s theorem, based on Esakia duality and the method of subframe formulas. As a corollary, we obtain a short proof of Citkin’s 2019 characterization of hereditarily structurally complete positive logics.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Balbes, R., and A. Horn, Injective and Projective Heyting Algebras, Transactions of the American Mathematical Society 148(2):549–559, 1970.
Bellissima, F., Finitely generated free Heyting algebras, The Journal of Symbolic Logic 51(1):152–165, 1986.
Bergman, C., Structural completeness in algebra and logic, in Algebraic logic (Budapest, 1988), volume 54 of Colloq. Math. Soc. János Bolyai, North-Holland, Amsterdam, 1991, pp. 59–73.
Bergman, C., Universal Algebra: Fundamentals and Selected Topics, Pure and Applied Mathematics, Chapman and Hall/CRC, 2011.
Bezhanishvili, G., and N. Bezhanishvili, Profinite Heyting algebras, Order 25(3):211–227, 2008.
Bezhanishvili, G., N. Bezhanishvili, and D. de Jongh, The Kuznetsov-Gerciu and Rieger-Nishimura logics: the boundaries of the finite model property, Logic and Logical Philosophy 17:73–110, 2008.
Bezhanishvili, G., and S. Ghilardi, An algebraic approach to subframe logics. Intuitionistic case, Annals of Pure and Applied Logic 147(1–2):84–100, 2007.
Bezhanishvili, G., and R. Grigolia, Locally finite varieties of Heyting algebras, Algebra Universalis 54(4):465–473, 2005.
Bezhanishvili, G., T. Moraschini, and J. G. Raftery, Epimorphisms in varieties of residuated structures, Journal of Algebra 492:185–211, 2017.
Bezhanishvili, N., Lattices of Intermediate and Cylindric Modal Logics, Ph.D. thesis DS-2006-02, Institute for Logic, Language and Computation, University of Amsterdam, 2006.
Bezhanishvili, N., and M. Gehrke, Finitely generated free heyting algebras via birkhoff duality and coalgebra, Logical Methods in Computer Science 7(2):24, 2011.
Bezhanishvili, N., and D. De Jongh, Stable formulas in intuitionistic logic, Notre Dame Journal of Formal Logic 59(3):307–324, 2018.
Blok, W. J., and D. Pigozzi, On the structure of varieties with equationally definable principal congruences I, Algebra Universalis 15:195–227, 1982.
Blok, W. J., and D. Pigozzi, Algebraizable Logics, vol. 396 of Memoirs of the American Mathematical Society, A.M.S., Providence, 1989.
Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra: The Millennium Edition, 2012, available in internet: https://www.math.uwaterloo.ca/snburris/htdocs/ualg.html.
Carr, J., Hereditary Structural Completeness over K4: Rybakov’s Theorem Revisited, MSc thesis,University of Amsterdam, 2022.
Chagrov, A., and M. Zakharyaschev, Modal Logic, vol. 35 of Oxford Logic Guides, Oxford University Press, 1997.
Citkin, A., On admissible rules of intuitionistic propositional calculus, Mathematics of the USSR-Sbornik 31:279–288, 1977.
Citkin, A., On structurally complete superintuitionistic logics, Soviet Mathematics Doklady 19:816–819, 1978.
Citkin, A., Structurally complete superintuitionistic logics and primitive varieties of pseudoBoolean algebras, Mat. Issled. Neklass. Logiki 98:134–151, 1987 (in Russian).
Citkin, A., Hereditarily structurally complete superintuitionistic deductive systems, Studia Logica 106:827–856, 2018.
Citkin, A., Hereditarily structurally complete positive logics, Review of Symbolic Logic 13(3):483–502, 2020.
Czelakowski, J., and W. Dziobiak, Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class, Algebra Universalis 27(1):128–149, 1990.
Darnière, L., and M. Junker, On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond, Archive for Mathematical Logic 49(7-8):743–771, 2010.
Day, A., Splitting algebras and a weak notion of projectivity, Algebra Universalis 5:153–162, 1975.
Dummett, M. A. E., and E. J. Lemmon, Modal logics between S4 and S5, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 5:250–264, 1959.
Dzik, W., and M. Stronkowski, Almost structural completeness; an algebraic approach, Annals of Pure and Applied Logic 167(7):525–556, 2016.
Dzik, W., and A. Wroński, Structural completeness of Gödel’s and Dummett’s propositional calculi, Studia Logica 32:69–73, 1973.
Esakia, L., Topological Kripke models, Soviet Mathematics Doklady 15:147–151, 1974.
Esakia, L., Heyting Algebras. Duality Theory, english translation of the original 1985 book, Springer, 2019.
Fine, K., Logics Containing K4. Part I, Journal of Symbolic Logic 39(1):31–42, 1974.
Gehrke, M., Canonical Extensions, Esakia Spaces, and Universal Models, ch. 2 of Leo Esakia on Duality in Modal and Intuitionistic Logics, vol. 4 of Outstanding Contributions to Logic, Springer, 2014, pp. 9–41.
Gerčiu, V. Ya., and A. V. Kuznetsov, The finitely axiomatizable superintuitionistic logics, Soviet Mathematics Doklady 11:1654–1658, 1970.
Ghilardi, S., Free Heyting algebras as bi-Heyting algebras, C. R. Math. Rep. Acad. Sci. Canada 14:240–244, 1992.
Ghilardi, S., Unification in intuitionistic logic, The Journal of Symbolic Logic 64(2):859–880, 1999.
Ghilardi, S., Best solving modal equations, Annals of Pure and Applied Logic 102(3):183–198, 2000.
Gorbunov, V. A., Lattices of quasivarieties, Algebra and Logic 15:275–288, 1976.
Gorbunov, V. A., Algebraic Theory of Quasivarieties, translated from Russian, Siberian School of Algebra and Logic, Consultants Bureau, New York, 1998.
Grigolia, R., Free Algebras of Non-Classical Logics, in Russian, “Metsniereba”, Tbilisi, 1987.
Iemhoff, R., On the admissible rules of intuitionistic propositional logic, The Journal of Symbolic Logic 66(1):281–294, 2001.
Iemhoff, R., Intermediate logics and Visser’s rules, Notre Dame Journal of Formal Logic 46(1):65–81, 2005.
Iemhoff, R., On the rules of intermediate logics, Archive for Mathematical Logic 45(5):581–599, 2006.
Jankov, V. A., The construction of a sequence of strongly independent superintuitionistic propositional calculi, Soviet Mathematics Doklady 9:806–807, 1968.
Jeřábek, E., Admissible rules of modal logic, Journal of Logic and Computation 15(4):73–92, 2005.
Jeřábek, E., Independent bases of admissible rules, Logic Journal of the IGPL 16(3):249–267, 2008.
Jeřábek, E., Bases of admissible rules of Łukasiewicz logic, Journal of Logic and Computation 20(6):1149–1163, 2010.
Kracht, M., Prefinitely axiomatizable modal and intermediate logics, Mathematical Logic Quaterly 39:301–322, 1993.
Kuznetsov, A. V., On finitely generated pseudo-Boolean algebras and finitely approximable varieties, in Proceedings of the 12th USSR Algebraic Colloquium, in Russian, Sverdlovsk, 1973, p. 281.
Kuznetsov, A. V., and V. Ya. Gerčiu, Superintuitionistic logics and finite approximability, Soviet Mathematics Doklady 11:1614–1619, 1970.
Lorenzen, P., Einführung in die operative Logik und Mathematik, vol. 78 of Grundlehren der mathematischen Wissenschaften, Springer, 1955.
Maksimova, L., and V. V. Rybakov, On the lattice of normal modal logics, in Russian, Algebra and Logic 13:188–216, 1974.
McKenzie, R., Equational bases and nonmodular lattice varieties, Transactions of the American Mathematical Society 174:1–43, 1972.
Metcalfe, G., and C. Röthlisberger, Admissibility in finitely generated quasivarieties, Logical Methods in Computer Science 9(2):1–19, 2013.
Moraschini, T., Varieties of positive modal algebras and structural completeness, Review of Symbolic Logic 12(3):557–599, 2019.
Moraschini, T., J. G. Raftery, and J. J. Wannenburg, Singly generated quasivarieties and residuated stuctures, Mathematical Logic Quarterly 66(2):150–172, 2020.
Moraschini, T., and J. J. Wannenburg, Epimorphism surjectivity in varieties of Heyting algebras, Annals of Pure and Applied Logic 171(9): 102824, 2020.
Nishimura, I., On formulas of one variable in intuitionistic propositional calculus, The Journal of Symbolic Logic 25:327–331, 1960.
Prucnal, T., On the structural completeness of some pure implicational propositional calculi, Studia Logica 30:45–52, 1972.
Prucnal, T., Structural completeness of some fragments of intermediate logics propositional calculi, Bulletin of the Section of Logic 12(1):41–44, 1983.
Raftery, J. G., Admissible Rules and the Leibniz Hierarchy, Notre Dame Journal of Formal Logic 57(4):569–606, 2016.
Rieger, L., On the lattice theory of Brouwerian propositional logic, Acta Facultatis Rerum Naturalium Universitatis Carolinae 189: 40, 1949.
Rieger, L., A remark on the s. c. free closure algebras, in Russian, Czechoslovak Mathematical Journal 7(1): 16–20, 1957.
Rozière, P., Admissible and derivable rules in intuitionistic logic, Mathematical Structures in Computer Science 2(3):129–136, 1993.
Rybakov, V. V., Rules of inference with parameters for intuitionistic logic, The Journal of Symbolic Logic 57(3):912–923, 1992.
Rybakov, V. V., Hereditarily structurally complete modals logics, The Journal of Symbolic Logic 60(1):266–288, 1995.
Rybakov, V. V., Admissibility of Logical Inference Rules, vol. 136 of Studies in Logic, Elsevier, Amsterdam, 1997.
Shehtman, V. B., Rieger-Nishimura lattices, Soviet Mathematics Doklady 19:1014–1018, 1978.
Whitman, P., Splittings of a lattice, American Journal of Mathematics 65:179–196, 1943.
Wroński, A., Overflow rules and a weakening of structural completeness, in Rozwazania o filozofii prawdziwej: Jerzemu Perzanowskiemu w darze, WydawnictwoUniwersytetu Jagiellonskiego, Kraków, 2009, pp. 67–71.
Zakharyaschev, M., Syntax and semantics of superintuitionistic logics, Algebra and Logic 28(4):262–282, 1989.
Acknowledgements
We would like to thank Alex Citkin and James G. Raf-tery for many useful comments and remarks that improved the presentation of the paper. We are also very grateful to the referees for valuable suggestions and pointers to the literature. The second author was supported by the research Grant 2017 SGR 95 of the AGAUR from the Generalitat de Catalunya, by the I+D+i research Project PID2019-110843GA-I00 La geometria de las logicas no-clasicas funded by the Ministry of Science and Innovation of Spain, by the Beatriz Galindo Grant BEAGAL18/00040 funded by the Ministry of Science and Innovation of Spain, and by the MSCA-RISE-Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE) project MOSAIC 101007627 funded by Horizon 2020 of the European Union.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Heinrich Wansing.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bezhanishvili, N., Moraschini, T. Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality. Stud Logica 111, 147–186 (2023). https://doi.org/10.1007/s11225-022-10012-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-022-10012-7