Abstract
In this paper we continue the study of the variety \(\mathbb {MG}\) of monadic Gödel algebras. These algebras are the equivalent algebraic semantics of the S5-modal expansion of Gödel logic, which is equivalent to the one-variable monadic fragment of first-order Gödel logic. We show three families of locally finite subvarieties of \(\mathbb {MG}\) and give their equational bases. We also introduce a topological duality for monadic Gödel algebras and, as an application of this representation theorem, we characterize congruences and give characterizations of the locally finite subvarieties mentioned above by means of their dual spaces. Finally, we study some further properties of the subvariety generated by monadic Gödel chains: we present a characteristic chain for this variety, we prove that a Glivenko-type theorem holds for these algebras and we characterize free algebras over n generators.
Similar content being viewed by others
References
Abad, M., and L. Monteiro, On free \(L\)-algebras, Notas de Lógica Matemática Univ. Nac. del Sur 35:1–20, 1987.
Balbes, R., and P. Dwinger, Distributive lattices, University of Missouri Press, Missouri, 1974.
Bezhanishvili, G., Varieties of monadic Heyting Algebras. Part I, Studia Logica 61(3):367–402, 1998.
Bezhanishvili, G., Varieties of monadic Heyting Algebras. Part II: Duality Theory, Studia Logica 62(1):21–48, 1999.
Bezhanishvili, G., Glivenko Type Theorems for Intuitionistic Logics, Studia Logica 67:89–109, 2001.
Bezhanishvili, G., Locally finite varieties, Algebra Universalis 46(4):531–548, 2001.
Bezhanishvili, G., and R. Girgolia, Locally Tabular Extensions of MIPC, in M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing, (eds.), Advances in Modal Logic, Vol. 2, CSLI Publications, 2000, pp. 119–138.
Blok, W. J., Varieties of interior algebras, Ph.D. Thesis, University of Amsterdam, 1976.
Caicedo, X., and R. O. Rodríguez, Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames, J. Logic Comput. 25(1):37–55, 2015.
Castaño, D., C. Cimadamore, J. P. Díaz Varela, and L. Rueda, Monadic BL-algebras: The equivalent algebraic semantics of Hájek’s monadic fuzzy logic, Fuzzy Sets and Systems 320:40–59, 2017.
Castaño, D., C. Cimadamore, J. P. Díaz Varela, and L. Rueda, Completeness for monadic fuzzy logics via functional algebras, Fuzzy Sets and Systems, to appear, 2020, https://doi.org/10.1016/j.fss.2020.02.002.
Cignoli, R., Quantifiers on distributive lattices, Discrete Mathematics 96(3):183–197.
Davey, B. A., and H. A. Priestley, Introduction to lattices and order, second edition, Cambridge University Press, 2002.
Di Nola, A., and R. Grigolia, On monadic MV-algebras, Annals of Pure and Applied Logic 128(1-3):125–139, 2004.
Esakia, L., Heyting algebras, translated from the Russian edition by Anton Evseev, Trends in Logic—Studia Logica Library 50, Springer, 2019.
Glivenko, V., Sur quelques points de la logique de M. Brouwer, Bulletin de la Classe des Sciences de l’Académie Royale de Belgique 15:183–188, 1929.
Hájek, P., Metamathematics of fuzzy logic, Trends in Logic—Studia Logica Library 4, Kluwer Academic Publishers, 1998.
Halmos, P. R., Algebraic logic, I. Monadic boolean algebras, Compositio Mathematica 12:217–249, 1955.
Hecht, T., and T. Katriňák, Equational classes of relative Stone algebras, Notre Dame J. Formal Logic 13(2):248–254, 1972.
Monteiro, A., Sur les Algèbres de Heyting Symétriques, Portugaliae Mathematica 39:1–237, 1980.
Monteiro, A., and O. Varsavsky, Álgebras de Heyting monádicas, Actas de las X Jornadas de la Unión Matemática Argentina, 52–62, 1957.
Priestley, H. A., Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc. 2:186–190, 1970.
Priestley, H. A., Ordered sets and duality for distributive lattices, Ann. Discrete Math. 23:39–60, 1984.
Rueda, L., The subvariety of \(Q\)-Heyting algebras generated by chains, Revista de la Unión Matemática Argentina 50(1):47–59, 2009.
Werner, H., Discriminator-algebras: Algebraic Representation and Model Theoretic Properties, Studien zur Algebra und ihre Anwendungen [Studies in Algebra and its Applications] vol. 6, Akademie-Verlag, Berlin, 1978.
Acknowledgements
We would like to thank the support of CONICET (PIP 11220170100195CO) and Departamento de Matemática (UNS) (PGI 24/L108). We would also like to thank the anonymous reviewer for his/her useful suggestions that helped us improve the article.
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 Hiroakira Ono
Rights and permissions
About this article
Cite this article
Castaño, D., Cimadamore, C., Díaz Varela, J.P. et al. An Algebraic Study of S5-Modal Gödel Logic. Stud Logica 109, 937–967 (2021). https://doi.org/10.1007/s11225-020-09934-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-020-09934-x