Algebras for Galois-style connections and their discrete duality

DOI10.1016/j.fss.2009.12.013zbMath1195.03059OpenAlexW2063947486MaRDI QIDQ969585

Ingrid Rewitzky, Ewa S. Orłowska

Publication date: 7 May 2010

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2009.12.013

zbMATH Keywords

Galois connectionframebounded distributive latticesresiduationmodal operatordiscrete dualitymonoidal t-norm logic MTLMTL algebras

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Lattices and duality (06D50) Other algebras related to logic (03G25) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (13)

Formal derivation of greedy algorithms from relational specifications: a tutorial ⋮ Programming from Galois connections ⋮ Duality results for (co)residuated lattices ⋮ Dual tableau for monoidal triangular norm logic MTL ⋮ Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras ⋮ Intuitionistic propositional logic with Galois negations ⋮ Unnamed Item ⋮ The properties of residuated connections and Alexandrov topologies ⋮ Context Algebras, Context Frames, and Their Discrete Duality ⋮ FUZZY CONNECTIONS AND COMPLETENESS IN COMPLETE RESIDUATED LATTICES ⋮ VARIOUS FRAMES AND CONNECTIONS ⋮ THE PROPERTIES OF FUZZY CONNECTIONS ⋮ MODAL, NECESSITY, SUFFICIENCY AND CO-SUFFICIENCY OPERATORS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Boolean algebras arising from information systems
• Dual tableaux. Foundations, methodology, case studies
• Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Duality for algebras of relevant logics
• Characterisation of main classes of fuzzy relations using fuzzy modal operators
• Fuzzy logics with modalities
• Fuzzy modal-like approximation operators based on double residuated lattices
• Fuzzy Information Relations and Operators: An Algebraic Approach Based on Residuated Lattices
• Relational Representation Theorems for Lattices with Negations: A Survey
• Relational Representation Theorems for General Lattices with Negations
• Context Algebras, Context Frames, and Their Discrete Duality
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Duality via Truth: Semantic frameworks for lattice-based logics
• Topological representations of distributive lattices and Brouwerian logics
• Boolean Algebras with Operators
• Relational Methods in Computer Science
• Incomplete information: Structure, inference, complexity

This page was built for publication: Algebras for Galois-style connections and their discrete duality