Contribution to Book
Introducing Boolean Semilattices
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Document Type
Book Chapter
Disciplines
Publication Version
Accepted Manuscript
Publication Date
3-21-2018
DOI
10.1007/978-3-319-74772-9_4
Abstract
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.
Copyright Owner
Springer International Publishing AG, part of Springer Nature 2018
Copyright Date
2018
Language
en
File Format
application/pdf
Citation Information
Clifford Bergman. "Introducing Boolean Semilattices" Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (2018) p. 103 - 130 Available at: http://works.bepress.com/clifford_bergman/14/
This is a manuscript of a chapter from Bergman C. (2018) Introducing Boolean Semilattices. In: Czelakowski J. (eds) Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science. Outstanding Contributions to Logic, vol 16. Springer, Cham. doi: 10.1007/978-3-319-74772-9_4. Posted with permission.