A Hierarchy of Algebras for Boolean Subsets

DOI10.1007/978-3-030-43520-2_10MaRDI QIDQ5098719zbMATH OpenOpenAlexFDO

Authors Walter Guttmann, Bernhard Möller

Publication date 30 August 2022

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://opus.bibliothek.uni-augsburg.de/opus4/files/91142/91142.pdf

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• The superior subalgebra in Boolean algebra
• The Boolean sub-algebra on quantales
• On axiomatizations of Boolean algebras
• On subalgebras of Boolean interval algebras
• Boolean algebras arising from information systems

Cites work

• scientific article; zbMATH DE number 1086671 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• scientific article; zbMATH DE number 3366941 (Why is no real title available?)
• Algebras for iteration and infinite computations
• Algebras of modal operators and partial correctness
• An equational axiomatization of dynamic negation and relational composition
• Constructive Type Classes in Isabelle
• Domain Axioms for a Family of Near-Semirings
• Domain and antidomain semigroups
• Equational logic
• Extending Sledgehammer with SMT solvers
• Fuzzifying modal algebra
• Internal axioms for domain semirings
• Introduction to Boolean Algebras
• Isabelle/HOL. A proof assistant for higher-order logic
• Kleene algebra with domain
• Nitpick: a counterexample generator for higher-order logic based on a relational model finder
• Parallel constructions of maximal path sets and applications to short superstrings
• Pseudo-complements in semi-lattices
• Representations of Boolean algebras
• Semilattice Pseudo-complements on Semigroups
• Short single axioms for Boolean algebra
• Stone lattices
• Two brief formulations of Boolean algebra
• Verifying minimum spanning tree algorithms with Stone relation algebras

Cited in

(4)

• Dense subtrees in complete Boolean algebras
• scientific article; zbMATH DE number 1145735 (Why is no real title available?)
• On subalgebras of Boolean interval algebras
• Boolean algebras as unions of chains of subalgebras

Describes a project that uses

Uses Software

• Robbins Conjecture
• Archive Formal Proofs
• Stone Algebras
• Sledgehammer
• Mace4
• Prover9
• Isabelle/HOL
• Nitpick

This page was built for publication: A Hierarchy of Algebras for Boolean Subsets

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