In this article, we formalized Lebesgue’s Convergence theorem of complex-valued function. We proved Lebesgue’s Convergence Theorem of realvalued function using the theorem of extensional real-valued function. Then applying the former theorem to real part and imaginary part of complex-valued functional sequences, we proved Lebesgue’s Convergence Theorem of complexvalued function. We also defined...

this paper is an investigation of $l$-dual frames with respect to a function-valued inner product, the so called $l$-bracket product on $l^{2}(g)$, where g is a locally compact abelian group with a uniform lattice $l$. we show that several well known theorems for dual frames and dual riesz bases in a hilbert space remain valid for $l$-dual frames and $l$-dual riesz bases in $l^{2}(g)$.

this paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. it incorporates the most important settings of lattice-valued topology, including poslat topology of s.~e.~rodabaugh, $(l,m)$-fuzzy topology of t.~kubiak and a.~v{s}ostak, and $m$-fuzzy topology on $l$-fuzzy sets of c.~guido. moreover, its respe...

For the processing of decision making with uncertainty information, this paper establishes a decision model based on lattice-valued logic and researches the algorithm for extracting the maximum decision rules. Firstly, we further research the lattice-valued fuzzy concept lattice by combining the lattice implication algebra and classical concept lattice; secondly, we define the lattice-valued de...

For a Tychonoff space $X$, we denote by $C_p(X)$ the space of all real-valued continuous functions on $X$ with the topology of pointwise convergence.  We study a functional characterization of the covering property of Hurewicz.

Abstract In the present paper, the interval-valued pP, P_ qq-fuzzy LI-ideal theory in lattice implication algebras is further studied. Some new properties of interval-valued pP, P_ qq-fuzzy LI-ideals are given. Representation theorem of interval-valued pP, P_ qq-fuzzy LI-ideal which is generated by an interval-valued fuzzy set is established. It is proved that the set consisting of all interval...