In this paper, we study the concept of $mathcal C$-reticulation for the category $mathcal C$ whose objects are lattice-valued maps. The relation between the free objects in $mathcal C$ and the $mathcal C$-reticulation of rings and modules is discussed. Also, a method to construct $mathcal C$-reticulation is presented, in the case where $mathcal C$ is equational. Some relations between the conce...

In this paper, we introduce the notion of co-annihilator of a subsetin a triangle algebra. It is shown that the co-annihilator of asubset is an interval valued residuated lattice (IVRL)-filter. Also, aspecial set of a triangle algebra is defined and the relationshipbetween this set and co-annihilator of a subset in triangle algebrais considered. Finally, co-annihilators preserving congruencerel...

Unlike monotone single-valued functions, multi-valued mappings may have none, one or (possibly infinitely) many minimal fixed-points. The contribution of this work is twofold. At first we overview and investigate about the existence and computation of minimal fixed-points of multi-valued mappings, whose domain is a complete lattice and whose range is its power set. Second, we show how these res...

Given a lattice (X,≤,∧,∨) we define a multi-valued operation ∧ which is analogous to a t-norm (i.e. it is commutative, associative, has one as a neutral element and is monotone). The operation is parametrized by the set Q, hence we actually obtain an entire family of such multi-valued t-norms. Similarly we define a family of multi-valued t-conorms ∨ . We show that, when P, Q are chosen appropri...

A topology ^"i is said to cover another topology T3 if ^Ç^i and no other topology may be included between the two. In this paper, we characterize the relationship between a Tj-topology and its covers. This characterization is used to prove that the lattice of 7\-topologies is both upper and lower semimodular. We also prove that the sublattice generated by the covers of a 7\-topology is isomorph...

Let X be a completely regular Hausdorff space, E a Banach lattice, and μ an E-valued countably additive, regular Borel measure on X. Some results about the countable additivity and regularity of the modulus |μ| are proved. Also in special cases, it is proved that L1(μ) = L1(|μ|).

In this paper, we enlarge the language of triangle algebra by addinga unary operation that describes properties of a state. Thesestructure algebras are called state triangle algebra. The vitalproperties of these algebras are given. The notion of state interval-valued residuated lattice (IVRL)-filters are introduced and givesome examples and properties of them are given. ...