Continuity in quantitative domains

DOI10.1016/j.fss.2005.01.007zbMath1080.06007OpenAlexW2093775920MaRDI QIDQ2386243

Publication date: 22 August 2005

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

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

zbMATH Keywords

$L$-fuzzy domain Continuous $L$-fuzzy domain Generalized Scott topology Stratified approximation relation Stratified interpolation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items (59)

Categorical dualities between certain kinds of fuzzy posets ⋮ On the structure of fuzzy variable precision rough sets based on generalized residuted lattices ⋮ The category of algebraic fuzzy closure L-systems on fuzzy complete lattices ⋮ Quantale-valued sup-algebras ⋮ Scott convergence and fuzzy Scott topology on $L$-posets ⋮ Transporting many-valued sets along many-valued relations ⋮ Fuzzy ideals of ordered semigroups with fuzzy orderings ⋮ Fuzzy bases of fuzzy domains ⋮ Fuzzy closure operators and their applications ⋮ A non-frame valued Cartesian closed category of liminf complete fuzzy orders ⋮ Section-retraction-pairs between fuzzy domains ⋮ A categorical isomorphism between injective balanced $L$-$S_0$-convex spaces and fuzzy frames ⋮ On enriched L-topologies: Base and subbase ⋮ Algebraic representation of frame-valued continuous lattices via the open filter monad ⋮ Relationships between $L$-ordered convergence structures and strong $L$-topologies ⋮ The relationship between $L$-fuzzy rough set and $L$-topology ⋮ Reflective full subcategories of the category of $L$-posets ⋮ Complete relations on fuzzy complete lattices ⋮ Kernel systems on $L$-ordered sets ⋮ Quantale algebras as lattice-valued quantales ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Cartesian closedness of a category of non-frame valued complete fuzzy orders ⋮ Fuzzy cut-stable map and its extension property1 ⋮ The restricted hull operator of M-fuzzifying convex structures1 ⋮ The L-lim-inf-convergence in fuzzy posets ⋮ (Totally) L-ordered Groups ⋮ L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos ⋮ Unnamed Item ⋮ K-FLAT PROJECTIVE FUZZY QUANTALES ⋮ Graded polygons of opposition in fuzzy formal concept analysis ⋮ The limit–colimit coincidence theorem for -categories ⋮ The meet-continuity of $L$-semilattices ⋮ $L$-ordered and $ L$-lattice ordered groups ⋮ Extended-order algebras ⋮ Completely lattice $L$-ordered sets with and without $L$-equality ⋮ An approach to fuzzy frames via fuzzy posets ⋮ Lattice-valued semiuniform convergence spaces ⋮ Join-completions of $L$-ordered sets ⋮ Approximation in quantale-enriched categories ⋮ Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets ⋮ Quantitative domains via fuzzy sets. II: Fuzzy Scott topology on fuzzy directed-complete posets ⋮ Unnamed Item ⋮ Stratified $L$-ordered convergence structures ⋮ FUZZY JOIN AND MEET PRESERVING MAPS ON ALEXANDROV L-PRETOPOLOGIES ⋮ A Stone-type duality for $s T_0$ stratified Alexandrov $L$-topological spaces ⋮ Hull operators and interval operators in $(L,M)$-fuzzy convex spaces ⋮ The $L$-ordered semigroups based on $L$-partial orders ⋮ A comparative study of ideals in fuzzy orders ⋮ Some results on fuzzy $Z_{L}$-continuous(algebraic) poset ⋮ The formal ball model for -categories ⋮ THE PROPERTIES OF JOIN AND MEET PRESERVING MAPS ⋮ Fuzzy $Z$-continuous posets ⋮ Fuzzy complete lattices ⋮ The Dedekind-MacNeille completions for fuzzy posets ⋮ Unnamed Item ⋮ Convex structures via convex $L$-subgroups of an $L$-ordered group ⋮ Categories of fuzzy preorders, approximation operators and Alexandrov topologies1

Cites Work

This page was built for publication: Continuity in quantitative domains