Wei Yao
Hebei University of Science and Technology, 050054 Shijiazhuang, P.R.China
[ 1 ] - QUANTALE-VALUED GAUGE SPACES
We introduce a quantale-valued generalization of approach spaces in terms of quantale-valued gauges. The resulting category is shown to be topological and to possess an initially dense object. Moreover we show that the category of quantale-valued approach spaces defined recently in terms of quantale-valued closures is a coreflective subcategory of our category and, for certain choices of the qu...
[ 2 ] - A duality between fuzzy domains and strongly completely distributive $L$-ordered sets
The aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. All values aretaken in a fixed frame $L$. A definition of (strongly) completelydistributive $L$-ordered sets is introduced. The main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $L$-ordereds...
[ 3 ] - NET-THEORETICAL L-GENERALIZED CONVERGENCE SPACES
In this paper, the denition of net-theoretical L-generalized convergencespaces is proposed. It is shown that, for L a frame, the category ofenriched L-fuzzy topological spaces can be embedded in that of L-generalizedconvergence spaces as a reective subcategory and the latter is a cartesianclosedtopological category.
[ 4 ] - A duality between LM-fuzzy possibility computations and their logical semantics
Let X be a dcpo and let L be a complete lattice. The family σL(X) of all Scott continuous mappings from X to L is a complete lattice under pointwise order, we call it the L-fuzzy Scott structure on X. Let E be a dcpo. A mapping g : σL(E) −> M is called an LM-fuzzy possibility valuation of E if it preserves arbitrary unions. Denote by πLM(E) the set of all LM-fuzzy possibility valuations of E. T...
Co-Authors