Short single axioms for Boolean algebra

DOI10.1023/A:1020542009983zbMath1014.06012OpenAlexW1536277859MaRDI QIDQ1869610

Andrew Feist, Robert Veroff, Larry Wos, Branden Fitelson, Kenneth D. Harris, William W. McCune

Publication date: 28 April 2003

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020542009983

zbMATH Keywords

Boolean algebraSheffer strokesingle axiomsingle equational axioms

Mathematics Subject Classification ID

Related Items (20)

(Fuzzy) Filters of Sheffer Stroke BL-Algebras ⋮ The Sheffer stroke operation reducts of basic algebras ⋮ Mechanizing complemented lattices within Mizar type system ⋮ Relation between Sheffer Stroke and Hilbert algebras ⋮ Study strong Sheffer stroke non-associative MV-algebras by fuzzy filters ⋮ A Hierarchy of Algebras for Boolean Subsets ⋮ Fuzzy ideals of Sheffer stroke Hilbert algebras ⋮ Unnamed Item ⋮ A method for finding new sets of axioms for classes of semigroups. ⋮ Unnamed Item ⋮ Basis reduction for cryptogroups and orthogroups ⋮ Computer Solutions of Problems in Inverse Semigroups ⋮ Unnamed Item ⋮ A single axiom for Boolean algebras ⋮ Solving the \$100 modal logic challenge ⋮ Certified equational reasoning via ordered completion ⋮ Representations of Sheffer stroke algebras and Visser algebras ⋮ A view on state operators in Sheffer stroke basic algebras ⋮ Larry Wos: visions of automated reasoning ⋮ A note on minimal axiomatisations of some extensions of MTL

This page was built for publication: Short single axioms for Boolean algebra