Algebras for Galois-style connections and their discrete duality

作者：Orlowska Ewa; Rewitzky Ingrid^*

来源：Fuzzy Sets and Systems, 2010, 161(9): 1325-1342.

DOI：10.1016/j.fss.2009.12.013

• Lattice
• Galois connection
• Residuation
• Modal operator
• Sufficiency operator
• Frame
• Discrete duality
• Logic MTL

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.

• 出版日期2010-5-1