A Categorical Equivalence for Stonean Residuated Lattices

Studia Logica 107 (2):399-421 (2019)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Every Free Biresiduated Lattice is Semisimple.H. Takamura - 2003 - Reports on Mathematical Logic:125-133.
Factorization of residuated lattices.Michal Krupka - 2009 - Logic Journal of the IGPL 17 (2):205-223.

Analytics

Added to PP
2018-05-16

Downloads
32 (#485,568)

6 months
4 (#818,853)

Historical graph of downloads
How can I increase my downloads?