Simple and subdirectly irreducibles bounded distributive lattices with unary operators.
Some methods to obtain t-norms and t-conorms on bounded lattices
In this study, we introduce new methods for constructing t-norms and t-conorms on a bounded lattice based on a priori given t-norm acting on and t-conorm acting on for an arbitrary element . We provide an illustrative example to show that our construction methods differ from the known approaches and investigate the relationship between them. Furthermore, these methods are generalized by iteration to an ordinal sum construction for t-norms and t-conorms on a bounded lattice.
Subdirect decompositions of algebras from 2-clone extensions of varieties
Let τ:F → ℕ be a type of algebras, where F is a set of fundamental operation symbols and ℕ is the set of nonnegative integers. We assume that |F|≥2 and 0 ∉ (F). For a term φ of type τ we denote by F(φ) the set of fundamental operation symbols from F occurring in φ. An identity φ ≉ ψ of type τ is called clone compatible if φ and ψ are the same variable or F(φ)=F(ψ)≠. For a variety V of type τ we denote by the variety of type τ defined by all identities φ ≉ ψ from Id(V) which are either clone compatible...
Subdirectly irreducible and congruence distributive -lattices
Super-De Morgan functions and free De Morgan quasilattices
A De Morgan quasilattice is an algebra satisfying hyperidentities of the variety of De Morgan algebras (lattices). In this paper we give a functional representation of the free n-generated De Morgan quasilattice with two binary and one unary operations. Namely, we define the concept of super-De Morgan function and prove that the free De Morgan quasilattice with two binary and one unary operations on nfree generators is isomorphic to the De Morgan quasilattice of super-De Morgan functions of nvariables....
Suprema of Classes of Generalized Scrimger Varieties of Lattice Ordered Groups.
Sur la construction de certaines MS-algèbres