Algebras for Galois-style connections and their discrete duality
From MaRDI portal
Publication:969585
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
Galois connectionframebounded distributive latticesresiduationmodal operatordiscrete dualitymonoidal t-norm logic MTLMTL algebras
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
