Short equational bases for ortholattices : proofs and countermodels.
This document contains proofs and countermodels in support of the paper ''Short Equational Bases for Ortholattices'', by the same set of authors. In that paper, short single axioms for ortholattices, orthomodular lattices, and modular ortholattices are presented, all in terms of the Sheffer stroke. The ortholattice axiom is the shortest possible. Other equational bases in terms of the Sheffer stroke and in terms of join, meet, and complement are presented. Computers were used extensively to find candidates, reject candidates, and search for proofs that candidates are single axioms.
- Research Organization:
- Argonne National Lab., IL (US)
- Sponsoring Organization:
- US Department of Energy (US)
- DOE Contract Number:
- W-31109-ENG-38
- OSTI ID:
- 822575
- Report Number(s):
- ANL/MCS-TM-265
- Country of Publication:
- United States
- Language:
- English
Similar Records
A Short Sheffer axiom for Boolean algebra.
Short single axioms for boolean algebra.
Single axioms for Boolean algebra.
Technical Report
·
Fri Jun 30 00:00:00 EDT 2000
·
OSTI ID:764209
Short single axioms for boolean algebra.
Journal Article
·
Mon Dec 31 23:00:00 EST 2001
· J. Automat. Reason.
·
OSTI ID:943109
Single axioms for Boolean algebra.
Technical Report
·
Fri Jun 30 00:00:00 EDT 2000
·
OSTI ID:764208