Quantitative domains via fuzzy sets: Part I: Continuity of fuzzy directed complete posets

Abstract

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 Bělohlávek 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.