Based on a complete Heyting algebra, we modify the definition oflattice-valued fuzzifying convergence space using fuzzy inclusionorder and construct in this way a Cartesian-closed category, calledthe category of $L-$ordered fuzzifying convergence spaces, in whichthe category of $L-$fuzzifying topological spaces can be embedded.In addition, two new categories are introduced, which are called the...

Abstract A “Bochner-type” integral for vector lattice-valued functions with respect to (possibly infinite) measures is presented abstract convergences, satisfying suitable axioms, and some fundamental properties are studied. Moreover, by means of this integral, convergence results on operators in modulars proved. Some applications given moment kernels the Brownian motion.

based on a complete heyting algebra, we modify the definition oflattice-valued fuzzifying convergence space using fuzzy inclusionorder and construct in this way a cartesian-closed category, calledthe category of $l-$ordered fuzzifying convergence spaces, in whichthe category of $l-$fuzzifying topological spaces can be embedded.in addition, two new categories are introduced, which are called the...

Based on the general form of -resolution principle for a lattice-valued logic with truth-values defined in a latticevalued logical algebra structure lattice implication algebra, the further extended -resolution method in this lattice-valued logic is discussed in the present paper in order to increase the efficiency of the resolution method. Firstly, -quasi-lock semantic resolution method in lat...

As a continuation of our research work on resolutionbased automated reasoning approaches for latticevalued logic systems with truth-values in a latticevalued logical algebraic structure – lattice implication algebra (LIA), in the present paper, we prove thatα resolution for lattice-valued first-order logic ( ) LF X based on LIA can be equivalently transformed into that for lattice-valued propos...

We study the space of all continuous fuzzy-valued functions  from a space $X$ into the space of fuzzy numbers $(mathbb{E}sp{1},dsb{infty})$  endowed with the pointwise convergence topology.   Our results generalize the classical ones for  continuous real-valued functions.   The field of applications of this approach seems to be large, since the classical case  allows many known devices to be fi...