Short Single Axioms for Boolean Algebra

@article{McCune2004ShortSA,
  title={Short Single Axioms for Boolean Algebra},
  author={W. McCune and R. Veroff and Branden Fitelson and Kenneth Harris and Andrew Feist and L. Wos},
  journal={Journal of Automated Reasoning},
  year={2004},
  volume={29},
  pages={1-16}
}
We present short single equational axioms for Boolean algebra in terms of disjunction and negation and in terms of the Sheffer stroke. Previously known single axioms for these theories are much longer than the ones we present. We show that there is no shorter axiom in terms of the Sheffer stroke. Automated deduction techniques were used in several parts of the work. 
53 Citations
A Hierarchy of Algebras for Boolean Subsets
  • PDF
A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke
  • R. Veroff
  • Mathematics, Computer Science
  • Journal of Automated Reasoning
  • 2004
  • 13
  • PDF
Automated Discovery of Single Axioms for
  • PDF
Arithmetic version of Boolean algebra
  • M. Azram, J. Daoud, F. Elfaki
  • Computer Science
  • 2009 2nd IEEE International Conference on Computer Science and Information Technology
  • 2009
  • 1
A single axiom for Boolean algebras
  • L. Kwuida
  • Mathematics, Computer Science
  • Discret. Appl. Math.
  • 2018
A note on minimal axiomatisations of some extensions of MTL
  • 3
Automated discovery of single axioms for ortholattices
  • 11
  • PDF
Algebraic Backgrounds for Data Structures Models
Simple characterization of functionally complete one-element sets of propositional connectives
  • 1
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 35 REFERENCES
Single axioms for Boolean algebra.
  • 4
  • PDF
Single axioms for groups
  • K. Kunen
  • Mathematics, Computer Science
  • Journal of Automated Reasoning
  • 2004
  • 28
Solution of the Robbins Problem
  • W. McCune
  • Mathematics, Computer Science
  • Journal of Automated Reasoning
  • 2004
  • 265
MACE 2.0 Reference Manual and Guide
  • W. McCune
  • Computer Science, Mathematics
  • ArXiv
  • 2001
  • 74
  • PDF
A fascinating country in the world of computing: your guide to automated reasoning
  • 54
SEM: a System for Enumerating Models
  • 178
  • PDF
Searching for circles of pure proofs
  • L. Wos
  • Mathematics, Computer Science
  • Journal of Automated Reasoning
  • 2004
  • 12
...
1
2
3
4
...