A New Approach to Quantitative Domain Theory
From MaRDI portal
Publication:4917050
DOI10.1016/S1571-0661(04)80956-3zbMath1260.68217MaRDI QIDQ4917050
Publication date: 26 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
68Q55: Semantics in the theory of computing
18D20: Enriched categories (over closed or monoidal categories)
06A75: Generalizations of ordered sets
Related Items
Unnamed Item, K-FLAT PROJECTIVE FUZZY QUANTALES, Quantale-valued sup-algebras, Convex structures via convex $L$-subgroups of an $L$-ordered group, Categorical dualities between certain kinds of fuzzy posets, The category of algebraic fuzzy closure L-systems on fuzzy complete lattices, Fuzzy closure operators and their applications, Generalized Scott topology on sets with families of pre-orders, The relationship between \(L\)-fuzzy rough set and \(L\)-topology, A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety, Kernel systems on \(L\)-ordered sets, Completely lattice \(L\)-ordered sets with and without \(L\)-equality, An approach to fuzzy frames via fuzzy posets, Quantitative domains via fuzzy sets. II: Fuzzy Scott topology on fuzzy directed-complete posets, Relationships between \(L\)-ordered convergence structures and strong \(L\)-topologies, A Stone-type duality for \(s T_0\) stratified Alexandrov \(L\)-topological spaces, Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets, Stratified \(L\)-ordered convergence structures, Fuzzy complete lattices, The Dedekind-MacNeille completions for fuzzy posets, Algebras with compatible quantale-enriched structures, Complete relations on fuzzy complete lattices, On fuzzification of Tarski's fixed point theorem without transitivity, Basic theorem of fuzzy concept lattices revisited, Quantale algebras as lattice-valued quantales, The meet-continuity of \(L\)-semilattices, \(L\)-ordered and \( L\)-lattice ordered groups, Lattice-valued semiuniform convergence spaces, Join-completions of \(L\)-ordered sets, The \(L\)-ordered semigroups based on \(L\)-partial orders, Semitopological groups, semiclosure semigroups and quantales, Some results on fuzzy \(Z_{L}\)-continuous(algebraic) poset, Reflective full subcategories of the category of \(L\)-posets, A few notes on quantum \(B\)-algebras, Fuzzifying interval operators, fuzzifying convex structures and fuzzy pre-orders, Cartesian closedness of a category of non-frame valued complete fuzzy orders, Fuzzy \(Z\)-continuous posets, An axiomatic approach to bases and subbases in \(L\)-convex spaces and their applications, On the injective hulls of quantum B-algebras, Two Cartesian closed subcategories of fuzzy domains, Scott convergence and fuzzy Scott topology on \(L\)-posets, Fuzzy ideals of ordered semigroups with fuzzy orderings, Fuzzy bases of fuzzy domains, A non-frame valued Cartesian closed category of liminf complete fuzzy orders, On enriched L-topologies: Base and subbase, Fuzzy cut-stable map and its extension property1, 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, Fuzzy closure systems onL-ordered sets
Cites Work
- Elements of generalized ultrametric domain theory
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
- Weighted colimits and formal balls in generalized metric spaces
- Liminf convergence in \(\Omega\)-categories
- Continuity spaces: Reconciling domains and metric spaces
- A notion of limit for enriched categories
- Metric spaces, generalized logic, and closed categories
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
