Varieties with rectangular ideals
We present the basic theory of the most natural algebraic counterpart of the ℵ0-valued Lukasiewicz calculus, strictly logically formulated. After showing its lattice structure and its relation to C. C. Chang's MV-algebras we study the implicative filters and prove its equivalence to congruence relations. We present some properties of the variety of all Wajsberg algebras, among which there is a representation theorem. Finally we give some characterizations of linear, simple and semisimple algebras....
In an earlier paper, the authors showed that standard semigroups , and play an important role in the classification of weaker versions of alg-universality of semigroup varieties. This paper shows that quasivarieties generated by and are neither relatively alg-universal nor -universal, while there do exist finite semigroups and generating the same semigroup variety as and respectively and the quasivarieties generated by and/or are quasivar-relatively -alg-universal and -universal...
Weak direct products of arbitrary universal algebras are introduced. The usual notion for groups and rings is a special case. Some universal algebraic properties are proved and applications to cylindric and polyadic algebras are considered.