The aim of this paper is to extend the truth value table oflattice-valued convergence spaces to a more general case andthen to use it to introduce and study the quantale-valued fuzzy Scotttopology in fuzzy domain theory. Let $(L,*,varepsilon)$ be acommutative unital quantale and let $otimes$ be a binary operationon $L$ which is distributive over nonempty subsets. The quadruple$(L,*,otimes,varep...

In this paper, we take a GL-quantale as the truth value table to study a new rough set model—L-valued fuzzy rough sets. The three key components of this model are: an L-fuzzy set A as the universal set, an L-valued relation of A and an L-fuzzy set of A (a fuzzy subset of fuzzy sets). Then L-valued fuzzy rough sets are completely characterized via both constructive and axiomatic approaches. 

This paper attempts to generalize universal algebras on classical sets to $L$-sets when $L$ is a GL-quantale. Some basic notions of fuzzy universal algebra on an $L$-set are introduced, such as subalgebra, quotient algebra, homomorphism, congruence, and direct product etc. The properties of them are studied. $L$-valued power algebra is also introduced and it is shown there is an onto homomorphi...

The paper considers the role of quantale algebra nuclei in representation of quotients of quantale algebras, and in factorization of quantale algebra homomorphisms. The set of all nuclei on a given quantale algebra is endowed with the structure of quantale semi-algebra.

In this paper, we introduce the concept of Q-P quantale modules. A series of categorical properties of Q-P quantale modules are studied, we prove that the category of Q-P quantale modules is not only pointed and connected, but also completed.

This paper considers some extensions of the notion filter to quantale-valued context, including saturated prefilter, ?-filter and bounded prefilter. The question is whether these constructions give rise monads on category sets. It shown that answer depends structure quantale. Specifically, if quantale unit interval equipped with a continuous t-norm, then only implication operator corresponding ...

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...

We define and study a quantale-valued Wijsman structure on the hyperspace of all non-empty closed sets of a quantale-valued metric space. We show its admissibility and that the metrical coreflection coincides with the quantale-valued Hausdorff metric and that, for a metric space, the topological coreflection coincides with the classical Wijsman topology. We further define an index of compactnes...

-semilattices with that in the category of modules over a given unital commutative quantale. The resulting structures are called quantale algebroids. We show that their constitute a monadic category and prove a representation theorem for them using the notion of nucleus adjusted for our needs. We also characterize the lattice of nuclei on a free quantale algebroid. At the end of the paper, we p...