Algebras with implication and fusion: a different point of view

Abstract

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.