Algebras for Galois-style connections and their discrete duality

DOI10.1016/j.fss.2009.12.013zbMath1195.03059MaRDI 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 connection; frame; bounded distributive lattices; residuation; modal operator; discrete duality; monoidal t-norm logic MTL; MTL algebras

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

06D50: Lattices and duality

03G25: Other algebras related to logic

06A15: Galois correspondences, closure operators (in relation to ordered sets)

Related Items

Unnamed Item, FUZZY CONNECTIONS AND COMPLETENESS IN COMPLETE RESIDUATED LATTICES, The properties of residuated connections and Alexandrov topologies, Context Algebras, Context Frames, and Their Discrete Duality, Dual tableau for monoidal triangular norm logic MTL, Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras, Programming from Galois connections, Formal derivation of greedy algorithms from relational specifications: a tutorial, Duality results for (co)residuated lattices

Cites Work

• 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
• Boolean Algebras with Operators
• Relational Methods in Computer Science
• Incomplete information: Structure, inference, complexity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item