We obtain a simple construction for particular subclasses of several varieties of lattice expansions. The construction allows a unified approach to the characterization of the subdirectly irreducible algebras
In this paper we investigate the class of all modular GMS-algebras which contains the class of MS-algebras. We construct modular GMS-algebras from the variety by means of -quadruples. We also characterize isomorphisms of these algebras by means of -quadruples.
In this paper we deal with a homogeneity condition for an -algebra concerning a generalized cardinal property. As an application, we consider the homogeneity with respect to -completeness, where runs over the class of all infinite cardinals.
Once the concept of De Morgan algebra of fuzzy sets on a universe X can be defined, we give a necessary and sufficient condition for a De Morgan algebra to be isomorphic to (represented by) a De Morgan algebra of fuzzy sets.
In the paper, we introduce the notion of annihilators in BL-algebras and investigate some related properties of them. We get that the ideal lattice (I(L), ⊆) is pseudo-complemented, and for any ideal I, its pseudo-complement is the annihilator I⊥ of I. Also, we define the An (L) to be the set of all annihilators of L, then we have that (An(L); ⋂,∧An(L),⊥,0, L) is a Boolean algebra. In addition, we introduce the annihilators of a nonempty subset X of L with respect to an ideal I and study some properties...
If element of a lattice effect algebra is central, then the interval is a lattice effect algebra with the new top element and with inherited partial binary operation . It is a known fact that if the set of central elements of is an atomic Boolean algebra and the supremum of all atoms of in equals to the top element of , then is isomorphic to a direct product of irreducible effect algebras ([16]). In [10] Paseka and Riečanová published as open problem whether is a bifull sublattice...
In this note we remark upon some relationships between the ideas of an approximation space and rough sets due to Pawlak ([9] and [10]) and algebras related to the study of algebraic logic - namely, cylindric algebras, relation algebras, and Stone algebras. The paper consists of three separate observations. The first deals with the family of approximation spaces induced by the indiscernability relation for different sets of attributes of an information system. In [3] the family of closure operators...