# AHierarchy 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.