Journal or Book Title
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
We present and discuss a variety of Boolean algebras with operators that is closely related to the variety generated by all complex algebras of semilattices. We consider the problem of finding a generating set for the variety, representation questions, and axiomatizability. Several interesting subvarieties are presented. We contrast our results with those obtained for a number of other varieties generated by complex algebras of groupoids.
Springer International Publishing AG, part of Springer Nature 2018
Bergman, Clifford, "Introducing Boolean Semilattices" (2018). Mathematics Publications. 195.