Introducing Boolean Semilattices

DOI10.1007/978-3-319-74772-9_4MaRDI QIDQ4586414zbMATH OpenOpenAlexFDO

Authors Clifford Bergman

Publication date 13 September 2018

Published in Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Search for Journal in Brave)

Full work available at URL https://lib.dr.iastate.edu/math_pubs/195

zbMATH Keywords

BAOBoolean algebraBoolean groupoidBoolean semilatticecanonical extensionequationally definable principal congruencesemilattice

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Semilattices (06A12) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Equational logic, Mal'tsev conditions (08B05)

Recommendations

• scientific article; zbMATH DE number 749211
• The variety of Boolean semirings
• scientific article; zbMATH DE number 1033881
• Introduction to Boolean Algebras
• scientific article; zbMATH DE number 3166267
• Semirings of sets of Boolean operations
• scientific article; zbMATH DE number 1808287
• Quasi-Boolean powers of semilattices
• Boolean algebras and low separation axioms
• scientific article; zbMATH DE number 1109586

Cites work

• Axiomatizing complex algebras by games.
• Boolean Algebras with Operators. Part I
• scientific article; zbMATH DE number 432737 (Why is no real title available?)
• scientific article; zbMATH DE number 475198 (Why is no real title available?)
• Infinitary varieties of structures closed under the formation of complex structures
• On regular and regularized varieties
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• On the structure of varieties with equationally definable principal congruences. I
• On the structure of varieties with equationally definable principal congruences. II
• On the structure of varieties with equationally definable principal congruences. III
• On the structure of varieties with equationally definable principal congruences. IV
• On varieties closed under the construction of power algebras
• Relational and Kleene-Algebraic Methods in Computer Science
• Universal algebra. Fundamentals and selected topics
• Varieties of complex algebras
• Varieties with equationally definable principal congruences

Cited in

(7)

• Boolean-like algebras
• scientific article; zbMATH DE number 1138592 (Why is no real title available?)
• scientific article; zbMATH DE number 2068680 (Why is no real title available?)
• scientific article; zbMATH DE number 915920 (Why is no real title available?)
• Discrete dualities for groupoids
• On semi-Boolean-like algebras.
• Relational and Kleene-Algebraic Methods in Computer Science

This page was built for publication: Introducing Boolean Semilattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4586414)