Fuzzy Sets and Systems
Fuzzy Sets and Systems
L-fuzzy version of Stone's representation theorem for distributive lattices
Fuzzy Sets and Systems - Special issue on mathematical aspects of fuzzy set theory
Handbook of logic in computer science (vol. 3)
Elements of generalized ultrametric domain theory
Theoretical Computer Science
A similarity-based generalization of fuzzy orderings preserving the classical axioms
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Fuzzy Relational Systems: Foundations and Principles
Fuzzy Relational Systems: Foundations and Principles
Section-retraction-pairs between fuzzy domains
Fuzzy Sets and Systems
Fundamental study: Complete and directed complete Ω-categories
Theoretical Computer Science
On Domain Theory over Girard Quantales
Fundamenta Informaticae
Continuity in quantitative domains
Fuzzy Sets and Systems
Similarity relations and fuzzy orderings
Information Sciences: an International Journal
L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos
Electronic Notes in Theoretical Computer Science (ENTCS)
Stratified L-ordered convergence structures
Fuzzy Sets and Systems
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
A survey of fuzzifications of frames, the Papert--Papert--Isbell adjunction and sobriety
Fuzzy Sets and Systems
Lattice-valued semiuniform convergence spaces
Fuzzy Sets and Systems
Join-completions of L-ordered sets
Fuzzy Sets and Systems
Two cartesian closed subcategories of fuzzy domains
Fuzzy Sets and Systems
A Duality Between Ω-categories and Algebraic Ω-categories
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.21 |
This paper deals with quantitative domain theory via fuzzy sets. It examines the continuity of fuzzy directed complete posets (dcpos for short) based on complete residuated lattices. First, we show that a fuzzy partial order in the sense of Fan and Zhang and an L-order in the sense of Belohlavek are equivalent to each other. Then we redefine the concepts of fuzzy directed subsets and (continuous) fuzzy dcpos. We also define and study fuzzy Galois connections on fuzzy posets. We investigate some properties of (continuous) fuzzy dcpos. We show that a fuzzy dcpo is continuous if and only if the fuzzy-double-downward-arrow-operator has a right adjoint. We define fuzzy auxiliary relations on fuzzy posets and approximating fuzzy auxiliary relations on fuzzy dcpos. We show that a fuzzy dcpo is continuous if and only if the fuzzy way-below relation is the smallest approximating fuzzy auxiliary relation.