Handbook of logic in computer science (vol. 3)
Elements of generalized ultrametric domain theory
Theoretical Computer Science
Section-retraction-pairs between fuzzy domains
Fuzzy Sets and Systems
Transporting many-valued sets along many-valued relations
Fuzzy Sets and Systems
Fuzzy Sets and Systems
The Dedekind--MacNeille completions for fuzzy posets
Fuzzy Sets and Systems
On Domain Theory over Girard Quantales
Fundamenta Informaticae
L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantitative domains via fuzzy sets: Part I: Continuity of fuzzy directed complete posets
Fuzzy Sets and Systems
Stratified L-ordered convergence structures
Fuzzy Sets and Systems
The limit–colimit coincidence theorem for -categories
Mathematical Structures in Computer Science
Relationships between L-ordered convergence structures and strong L-topologies
Fuzzy Sets and Systems
An approach to fuzzy frames via fuzzy posets
Fuzzy Sets and Systems
Completely lattice L-ordered sets with and without L-equality
Fuzzy Sets and Systems
The formal ball model for -categories
Mathematical Structures in Computer Science
The relationship between L-fuzzy rough set and L-topology
Fuzzy Sets and Systems
Lattice-valued semiuniform convergence spaces
Fuzzy Sets and Systems
Join-completions of L-ordered sets
Fuzzy Sets and Systems
On Domain Theory over Girard Quantales
Fundamenta Informaticae
Hi-index | 0.21 |
Based on the notion of an L-fuzzy partially ordered set constructed in (An L-fuzzy approach to quantitative domain (I)-generalized ordered set valued in frame and adjunction theory, Fuzzy Systems and Mathematics 14 (2000) 6-7), and by introducing the concepts of an L-fuzzy directed set and the join of an L-fuzzy set w.r.t. the L-fuzzy partial order, L-fuzzy domains are defined and the generalized Scott topology on an L-fuzzy domain is built. This approach is similar to Flagg's logic approach to quantitative domain theory (A Logical Approach to Quantitative Domain Theory, Elsevier, Amsterdam, 1996, submitted for publication). In addition, the concepts of stratified approximation and a basis for an L-fuzzy domain are proposed, and a notion of a continuous L-fuzzy domain is developed. It is proved that if L is a completely distributive lattice in which 1 is @?-irreducible and the well below relation is multiplicative, then the stratified interpolation property holds in a continuous L-fuzzy domain (X,e), and {@?"ax|0a@?1,x@?X} is a base for the generalized Scott topology on (X,e).