A Hierarchy of Algebras for Boolean Subsets

Title:	A Hierarchy of Algebras for Boolean Subsets
Authors:	Walter Guttmann and Bernhard Möller
Submission date:	2020-01-31
Abstract:	We present a collection of axiom systems for the construction of Boolean subalgebras of larger overall algebras. The subalgebras are defined as the range of a complement-like operation on a semilattice. This technique has been used, for example, with the antidomain operation, dynamic negation and Stone algebras. We present a common ground for these constructions based on a new equational axiomatisation of Boolean algebras.
BibTeX:	@article{Subset_Boolean_Algebras-AFP, author = {Walter Guttmann and Bernhard Möller}, title = {A Hierarchy of Algebras for Boolean Subsets}, journal = {Archive of Formal Proofs}, month = jan, year = 2020, note = {\url{http://isa-afp.org/entries/Subset_Boolean_Algebras.html}, Formal proof development}, ISSN = {2150-914x}, }
License:	BSD License
Depends on:	Stone_Algebras
Status: [ok]	This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.