A Hierarchy of Algebras for Boolean Subsets

Walter Guttmann 🌐 and Bernhard Möller 🌐

January 31, 2020

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


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.


BSD License


Session Subset_Boolean_Algebras