Title of article :
Algebras for Galois-style connections and their discrete duality
Author/Authors :
Or?owska، نويسنده , , Ewa and Rewitzky، نويسنده , , Ingrid، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2010
Abstract :
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.
Keywords :
Discrete duality , Logic MTL , lattice , Galois connection , Residuation , Sufficiency operator , frame , Modal operator
Journal title :
FUZZY SETS AND SYSTEMS
Journal title :
FUZZY SETS AND SYSTEMS