Interval valued (\in,\ivq)-fuzzy filters of pseudo BLBL-algebras

We introduce the concept of quasi-coincidence of a fuzzy interval value with an interval valued fuzzy set. By using this new idea, we introduce the notions of interval valued (\in,\ivq)-fuzzy filters of pseudo $BL$-algebras and investigate some of their related properties. Some characterization theorems of these generalized interval valued fuzzy filters are derived. The relationship among these generalized interval valued fuzzy filters of pseudo $BL$-algebras is considered. Finally, we consider the concept of implication-based interval valued fuzzy implicative filters of pseudo $BL$-algebras, in particular, the implication operators in Lukasiewicz system of continuous-valued logic are discussed

The lattice of varieties of implication semigroups

In 2012, the second author introduced and examined a new type of algebras as a generalization of De Morgan algebras. These algebras are of type (2,0) with one binary and one nullary operation satisfying two certain specific identities. Such algebras are called implication zroupoids. They invesigated in a number of articles by the second author and J.M.Cornejo. In these articles several varieties of implication zroupoids satisfying the associative law appeared. Implication zroupoids satisfying the associative law are called implication semigroups. Here we completely describe the lattice of all varieties of implication semigroups. It turns out that this lattice is non-modular and consists of 16 elements.Comment: Compared with the previous version, we rewrite Section 3 and add Appendixes A and

The Reticulation of a Universal Algebra

The reticulation of an algebra $A$ is a bounded distributive lattice ${\cal L}(A)$ whose prime spectrum of filters or ideals is homeomorphic to the prime spectrum of congruences of $A$, endowed with the Stone topologies. We have obtained a construction for the reticulation of any algebra $A$ from a semi-degenerate congruence-modular variety ${\cal C}$ in the case when the commutator of $A$, applied to compact congruences of $A$, produces compact congruences, in particular when ${\cal C}$ has principal commutators; furthermore, it turns out that weaker conditions than the fact that $A$ belongs to a congruence-modular variety are sufficient for $A$ to have a reticulation. This construction generalizes the reticulation of a commutative unitary ring, as well as that of a residuated lattice, which in turn generalizes the reticulation of a BL-algebra and that of an MV-algebra. The purpose of constructing the reticulation for the algebras from ${\cal C}$ is that of transferring algebraic and topological properties between the variety of bounded distributive lattices and ${\cal C}$, and a reticulation functor is particularily useful for this transfer. We have defined and studied a reticulation functor for our construction of the reticulation in this context of universal algebra.Comment: 29 page