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)
Semantics in the theory of computing (68Q55) Enriched categories (over closed or monoidal categories) (18D20) Generalizations of ordered sets (06A75)
Related Items (55)
Categorical dualities between certain kinds of fuzzy posets ⋮ The category of algebraic fuzzy closure L-systems on fuzzy complete lattices ⋮ Algebras with compatible quantale-enriched structures ⋮ Generalized Scott topology on sets with families of pre-orders ⋮ Quantale-valued sup-algebras ⋮ Scott convergence and fuzzy Scott topology on \(L\)-posets ⋮ 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 ⋮ 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 ⋮ A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety ⋮ Complete relations on fuzzy complete lattices ⋮ On fuzzification of Tarski's fixed point theorem without transitivity ⋮ Basic theorem of fuzzy concept lattices revisited ⋮ Kernel systems on \(L\)-ordered sets ⋮ Quantale algebras as lattice-valued quantales ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Fuzzifying interval operators, fuzzifying convex structures and fuzzy pre-orders ⋮ Cartesian closedness of a category of non-frame valued complete fuzzy orders ⋮ 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 ⋮ K-FLAT PROJECTIVE FUZZY QUANTALES ⋮ Fuzzy closure systems onL-ordered sets ⋮ The meet-continuity of \(L\)-semilattices ⋮ \(L\)-ordered and \( L\)-lattice ordered groups ⋮ 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 ⋮ 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 ⋮ A Stone-type duality for \(s T_0\) stratified Alexandrov \(L\)-topological spaces ⋮ The \(L\)-ordered semigroups based on \(L\)-partial orders ⋮ Semitopological groups, semiclosure semigroups and quantales ⋮ Some results on fuzzy \(Z_{L}\)-continuous(algebraic) poset ⋮ A few notes on quantum \(B\)-algebras ⋮ Fuzzy \(Z\)-continuous posets ⋮ Fuzzy complete lattices ⋮ The Dedekind-MacNeille completions for fuzzy 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 ⋮ Convex structures via convex $L$-subgroups of an $L$-ordered group
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
This page was built for publication: A New Approach to Quantitative Domain Theory
