On the Representation of Boolean Magmas and Boolean Semilattices

DOI10.1007/978-3-030-64187-0_12zbMath1506.06005OpenAlexW3167385300MaRDI QIDQ5015976

Peter Jipsen, James Wimberley, M. Eyad Kurd-Misto

Publication date: 10 December 2021

Published in: Hajnal Andréka and István Németi on Unity of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-64187-0_12

zbMATH Keywords

Boolean semilatticesBoolean magmascomplex algebras of semilatticespartial magmassquare-increasing

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Semilattices (06A12)

Cites Work

• Don Pigozzi on abstract algebraic logic, universal algebra, and computer science
• Representations of distributive lattice-ordered semigroups with binary relations
• On representable relation algebras
• Representations of integral relation algebras
• Decision problems for equational theories of relation algebras
• Relational and Kleene-Algebraic Methods in Computer Science
• Boolean Algebras with Operators. Part I

This page was built for publication: On the Representation of Boolean Magmas and Boolean Semilattices