INVESTIGADORES
MARCOS Miguel Andres
artículos
Título:
A Categorical Equivalence for Stonean Residuated Lattices
Autor/es:
BUSANICHE, MANUELA; CIGNOLI, ROBERTO; MARCOS, MIGUEL ANDRÉS
Revista:
STUDIA LOGICA
Editorial:
Springer Netherlands
Referencias:
Año: 2018 p. 1 - 23
ISSN:
0039-3215
Resumen:
We follow the ideas given by Chen and Grätzer to represent Stone algebras and adapt them for the case of Stonean residuated lattices. Given a Stonean residuated lattice, we consider the triple formed by its Boolean skeleton, its algebra of dense elements and a connecting map. We define a category whose objects are these triples and suitably defined morphisms, and prove that we have a categorical equivalence between this category and that of Stonean residuated lattices. We compare our results with other works and show some applications of the equivalence.
