Short Single Axioms for Boolean Algebra (2002)
Cached
Download Links
- [www.cs.unm.edu]
- [info.mcs.anl.gov]
- [info.mcs.anl.gov]
- [www-unix.mcs.anl.gov]
- DBLP
Other Repositories/Bibliography
| Venue: | J. Automated Reasoning |
| Citations: | 18 - 9 self |
BibTeX
@ARTICLE{Mccune02shortsingle,
author = {William Mccune and Robert Veroff and Branden Fitelson and Kenneth Harris and Andrew Feist and Larry Wos},
title = {Short Single Axioms for Boolean Algebra},
journal = {J. Automated Reasoning},
year = {2002},
volume = {29},
pages = {2002}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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 than the ones we present. Automated deduction techniques were used for several different aspects of the work. Keywords: Boolean algebra, Sheffer stroke, single axiom 1. Background and
