Algebras for Galois-style connections and their discrete duality

摘要

Bounded distributive lattices with pairs of operators forming Galois, dual Galois, residuation and dual residuation connections, respectively, are considered. A discrete duality for these classes of algebras and the corresponding classes of relational systems is established. These results are extended to the fuzzy logic MTL.