Short Single Axioms for Boolean Algebra

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. Au...

Full description

Saved in:
Bibliographic Details
Published in:Journal of automated reasoning 2002-03, Vol.29 (1), p.1-16
Main Authors: Mccune, William, Veroff, Robert, Fitelson, Branden, Harris, Kenneth, Feist, Andrew, Wos, Larry
Format: Article
Language:English
Subjects:
ALGEBRA
ALGORITHMS
Automated
Automated reasoning
Axioms
Boolean algebra
Deduction
EQUATIONS
GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
MATHEMATICAL LOGIC
MATHEMATICAL METHODS AND COMPUTING
Real time
Strokes
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.[PUBLICATION ABSTRACT]
ISSN:0168-7433
1573-0670
DOI:10.1023/A:1020542009983