A Hierarchy of Algebras for Boolean Subsets
From MaRDI portal
A Hierarchy of Algebras for Boolean Subsets (AFP entry Subset Boolean Algebras)
- A Hierarchy of Algebras for Boolean Subsets
- Algebras for iteration and infinite computations
- An equational axiomatization of dynamic negation and relational composition
- Boolean Algebra. A Correction
- Domain and antidomain semigroups
- Domain Axioms for a Family of Near-Semirings
- Equational logic
- Fuzzifying modal algebra
- Unnamed Publication
- Internal axioms for domain semirings
- Kleene algebra with domain
- Modal Semirings Revisited
- Pseudo-complements in semi-lattices
- Relation-algebraic semantics
- Representations of Boolean algebras
- Semilattice Pseudo-complements on Semigroups
- Stone lattices
- Two brief formulations of Boolean algebra
- Verifying minimum spanning tree algorithms with Stone relation algebras
This page was built for software: A Hierarchy of Algebras for Boolean Subsets
