The format of the tech reports ID number is TR-CS-YYYY-NN, where YYYY is the four digit year and NN is the number, including leading zeroes. For the first tech report of 2004, the search would be "TR-CS-2004-01".
This searches only by ID. If you'd like, you can also search by researcher or search by keyword
Found 1 result.
Listing from newest to oldest
TR-CS-2004-01
Short Equational Bases for Ortholattices
W. McCune, R. Padmanabhan, M. A. Rose and R. Veroff
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. Proofs are omitted but are available in an associated technical report. Computers were used extensively to find candidates, reject candidates, and search for proofs that candidates are single axioms. The notion of computer proof is addressed.
News & Events | People | Academics | Research | Jobs | Companies | Visitors | Computer Facilities | Home
