TY  - JOUR
A1  - Guttmann, Walter
A1  - Möller, Bernhard
T1  - A hierarchy of algebras for Boolean subsets
T2  - Lecture Notes in Computer Science
N2  - 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.
Y1  - 2020
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/91142
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-911424
SN  - 0302-9743
SN  - 1611-3349
N1  - Relational and Algebraic Methods in Computer Science: 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings
VL  - 12062
SP  - 152
EP  - 168
PB  - Springer
CY  - Cham
ER  -