Abstract
Much work has been done on specific instances of residuated lattices with modal operators (either nuclei or conuclei). In this paper, we develop a general framework that subsumes three important classes of modal residuated lattices: interior algebras, Abelian ℓ-groups with conuclei, and negative cones of ℓ-groups with nuclei. We then use this framework to obtain results about these three cases simultaneously. In particular, we show that a categorical equivalence exists in each of these cases. The approach used here emphasizes the role played by reducts in the proofs of these categorical equivalences. Lastly, we develop a connection between translations of logics and images of modal operators.
Similar content being viewed by others
References
Bahls P., Cole J., Galatos N. Jipsen P., Tsinakis C.: Cancellative residuated lattices. Algebra Universalis 50(1), 83–106 (2003)
Balbes, R., and L. Dwinger, Distributive Lattices, University of Missouri Press, Columbia, Missouri, 1974.
Blok, W. J., Varieties of Interior Algebras, Dissertation, University of Amsterdam, 1976.
Blount K., Tsinakis C.: The structure of Residuated Lattices. International Journal of Algebra and Computation 13(4), 437–461 (2003)
Bosbach B.: Concerning cone algebras. Algebra Universalis 15, 58–66 (1982)
Esakia, L. L., On varieties of Grzegorczyk’s algebras, in Studies in Non-Classical Logics and Set Theory, Moscow, Nauka, 1979, pp. 257–287. (Russian).
Esakia, L. L., To the theory of modal and superintuitionistic systems, in V. A. Smirnov (ed.), Logical Deduction, Moscow, Nauka, 1979, pp. 147–172. (Russian).
Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, Residuated lattices: an algebraic glimpse at substructural logics, in Studies in Logic and the Foundations of Mathematics, Vol. 151, Elsevier, 2007.
Galatos N., Tsinakis C.: Generalized MV-algebras. Journal of Algebra 283, 254–291 (2005)
Jipsen, P., and C. Tsinakis, A survey of residuated lattices, in J. Martinez (ed.), Ordered Algebraic Structures, Kluwer Academic Publishers, Dordrecht, 2002, pp. 19–56.
Maksimova, L. L., and V. V. Rybakov, On the lattice of normal modal logics, Algebra and Logic 13:188–216, 1974. (Russian).
McKinsey J.C.C., Tarski A.: The algebra of topology. Annals of Mathematics 45, 141–191 (1944)
McKinsey J.C.C., Tarski A.: Some theorems about the sentential calculi of Lewis and Heyting. The Journal of Symbolic Logic 13, 1–15 (1948)
Metcalfe, G., F. Paoli, and C. Tsinakis, Ordered algebras and logic, in H. Hosini, and F. Montagna (eds.), Probability, Uncertainty, and Rationality, CRM Series vol. 10, Edizioni della Scuola Normale Superiore, Pisa, 2010, pp. 3–83.
Montagna F., Tsinakis C.: Ordered groups with a conucleus. Journal of Pure and Applied Algebra 214(1), 71–88 (2010)
Mundici D.: Interpretation of AFC*-algebras in Łukasiewicz sentential calculus. Journal of Functional Analysis 65, 15–63 (1986)
Ono, H., and W. Young, Modal Substructural Logics, Talk by W. Young presented at Algebra and Substructural Logics—Take 4, JAIST, Nomi, Japan, 2010.
Young, W., Varieties generated by unital Abelian ℓ-groups, Journal of Pure and Applied Algebra, 2014. http://dx.doi.org/10.1016/j.jpaa.2014.04.015S.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Young, W. From Interior Algebras to Unital ℓ-Groups: A Unifying Treatment of Modal Residuated Lattices. Stud Logica 103, 265–286 (2015). https://doi.org/10.1007/s11225-014-9558-z
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-014-9558-z