A Hierarchy of Algebras for Boolean Subsets (Q7361116)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Subset_Boolean_Algebras
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A Hierarchy of Algebras for Boolean Subsets |
AFP entry Subset_Boolean_Algebras |
Statements
31 January 2020
0 references
Walter Guttmann
0 references
Bernhard Möller
0 references
A Hierarchy of Algebras for Boolean Subsets (English)
0 references
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.
0 references
