Abstract
An equivalence between the category of MV-algebras and the category \({{\rm MV^{\bullet}}}\) is given in Castiglioni et al. (Studia Logica 102(1):67–92, 2014). An integral residuated lattice with bottom is an MV-algebra if and only if it satisfies the equations \({a = \neg \neg a, (a \rightarrow b) \vee (b\rightarrow a) = 1}\) and \({a \odot (a\rightarrow b) = a \wedge b}\). An object of \({{\rm MV^{\bullet}}}\) is a residuated lattice which in particular satisfies some equations which correspond to the previous equations. In this paper we extend the equivalence to the category whose objects are pairs (A, I), where A is an MV-algebra and I is an ideal of A.
Similar content being viewed by others
References
Castiglioni J.L., Menni M., Sagastume M.: On some categories of involutive centered residuated lattices. Studia Logica 90(1), 93–124 (2008)
Castiglioni J.L., Lewin R., Sagastume M.: On a definition of a variety of monadic l-groups. Studia Logica 102(1), 67–92 (2014)
Cignoli R.: The class of Kleene algebras satisfying an interpolation property and Nelson algebras. Algebra Universalis 23, 262–292 (1986)
Cignoli, R., I. D’Ottaviano, and D. Mundici, Álgebras das lógicas de Lukasiewicz. Centro de Lógica, Epistemología e História da Ciencia, UNICAMP, Campinas, 1994.
Cignoli, R., I. D’Ottaviano, and D. Mundici, Algebraic foundations of many–valued reasoning, in Trends in Logic, Studia Logica Library, vol. 7, Kluwer, Dordrecht, 2000.
Jansana R., Rivieccio U.: Dualities for modal N4-lattices. Logic Journal of the IGPL 22(4), 608–637 (2014)
Kalman J.A.: Lattices with involution. Transactions of the American Mathematical Society 87, 485–491 (1958)
Monteiro, L. and I. Viglizzo, Construction of Nelson algebras, Personal Comunication, 1997.
Odintsov S.: On the representation of N4-lattices. Studia Logica 76(3), 385–405 (2004)
Sagastume M., San Martín H.J.: The logic \({\L^{\bullet}}\). Mathematical Logic Quarterly 60(6), 375–388 (2014)
Sendlewski A.: Heyting algebras through Heyting ones. Studia Logica 60(1), 105–126 (1990)
Viglizzo, I., Álgebras de Nelson, Tesis de Magíster, Universidad Nacional del Sur, Bahía Blanca, Buenos Aires, Argentina, 1999.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Sagastume, M.S., San Martín, H.J. A Categorical Equivalence Motivated by Kalman’s Construction. Stud Logica 104, 185–208 (2016). https://doi.org/10.1007/s11225-015-9632-1
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-015-9632-1