Algebras for Galois-style connections and their discrete duality

Authors:
Ewa Orłowska;Ingrid Rewitzky
Affiliations:
National Institute for Telecommunications, Warsaw, Poland;Department of Mathematical Sciences, University of Stellenbosch, South Africa
Venue:
Fuzzy Sets and Systems
Year:
2010

Citing 9
Cited 2

Beyond modalities: sufficiency and mixed algebras

Relational methods for computer science applications
Incomplete Information: Structure, Inference, Complexity

Incomplete Information: Structure, Inference, Complexity
Pawlak's Information Systems in Terms of Galois Connections and Functional Dependencies

Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Discrete Dualities for Heyting Algebras with Operators

Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Characterisation of main classes of fuzzy relations using fuzzy modal operators

Fuzzy Sets and Systems
Relational semantics through duality

RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
Relational representation theorems for general lattices with negations

RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Fuzzy information relations and operators: an algebraic approach based on residuated lattices

TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2
Relational representation theorems for lattices with negations: a survey

TARSKI'02-05 Proceedings of the 2006 international conference on Theory and Applications of Relational Structures as Knowledge Instruments - Volume 2

Structures with Multirelations, their Discrete Dualities and Applications

Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Dual tableau for monoidal triangular norm logic MTL

Fuzzy Sets and Systems

Quantified Score

Hi-index	0.20

Visualization

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.