Algebras with implication and fusion: a different point of view

J.L. CASTIGLIONI; H.J. SAN MARTÍN

ALGEBRA UNIVERSALIS

BIRKHAUSER VERLAG AG

Lugar: BASEL; Año: 2013 vol. 69 p. 237 - 256

0002-5240

This work uses well-known results on tensor products of lattices and semilattices developed by Fraser and Grätzer et al., and the duality for bounded distributive lattices introduced by Cignoli et al., in order to develop dual categorical equivalences involving bounded distributive lattices with fusion and implication, respectively. We show that these equivalences are essentially those developed by Cabrer and Celani as part of the PhD thesis of the former.