The meet-continuity of \(L\)-semilattices

DOI10.1016/j.entcs.2017.08.010zbMath1395.68182OpenAlexW2759894989WikidataQ113317583 ScholiaQ113317583MaRDI QIDQ1744462

Huodi Chen, Shuhua Su, Qing-Guo Li

Publication date: 23 April 2018

Full work available at URL: https://doi.org/10.1016/j.entcs.2017.08.010

zbMATH Keywords

Cartesian closed categorymeet-continuity\(L\)-semilatticefuzzy domain theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Frames, locales (06D22) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items

Algebraic representation of frame-valued continuous lattices via the open filter monad, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety
• An approach to fuzzy frames via fuzzy posets
• Quantitative domains via fuzzy sets. II: Fuzzy Scott topology on fuzzy directed-complete posets
• Many valued lattices and their representations
• An enriched category approach to many valued topology
• Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets
• Fuzzy complete lattices
• The Dedekind-MacNeille completions for fuzzy posets
• A theory of vague lattices based on many-valued equivalence relations. I: General representation results
• Continuity in quantitative domains
• Complete and directed complete \(\Omega \)-categories
• Similarity relations and fuzzy orderings
• Fuzzy Galois Connections
• Continuous Lattices and Domains
• A New Approach to Quantitative Domain Theory