Decomposability conditions for compatible relations
Demi-Semi-Primal Algebras and Mal'cev- Type Conditions.
Die Darstellung von partiellen -stelligen Operationen
Discriminator order algebras
We prove that an order algebra assigned to a bounded poset with involution is a discriminator algebra.
Discriminator varieties of Boolean algebras with residuated operators
The theory of discriminator algebras and varieties has been investigated extensively, and provides us with a wealth of information and techniques applicable to specific examples of such algebras and varieties. Here we give several such examples for Boolean algebras with a residuated binary operator, abbreviated as r-algebras. More specifically, we show that all finite r-algebras, all integral r-algebras, all unital r-algebras with finitely many elements below the unit, and all commutative residuated...