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. Automated deduction techniques were used in several parts of the work.
- Research Organization:
- Argonne National Laboratory (ANL)
- Sponsoring Organization:
- SC; NSF
- DOE Contract Number:
- AC02-06CH11357
- OSTI ID:
- 943109
- Report Number(s):
- ANL/MCS/JA-37534
- Journal Information:
- J. Automat. Reason., Journal Name: J. Automat. Reason. Journal Issue: 2002 Vol. 29; ISSN JAREEW; ISSN 0168-7433
- Country of Publication:
- United States
- Language:
- ENGLISH
Similar Records
Single axioms for Boolean algebra.
A Short Sheffer axiom for Boolean algebra.
Short equational bases for ortholattices : proofs and countermodels.
Technical Report
·
Fri Jun 30 00:00:00 EDT 2000
·
OSTI ID:764208
A Short Sheffer axiom for Boolean algebra.
Technical Report
·
Fri Jun 30 00:00:00 EDT 2000
·
OSTI ID:764209
Short equational bases for ortholattices : proofs and countermodels.
Technical Report
·
Thu Jan 08 23:00:00 EST 2004
·
OSTI ID:822575