Abstract.
We present short single axioms for ortholattices, orthomodular lattices, and modular ortholattices, all in terms of the Sheffer stroke. The ortholattice axiom is the shortest possible. We also give multiequation bases in terms of the Sheffer stroke and in terms of join, meet, and complementation. Proofs are omitted but are available in an associated technical report and on the Web. We used computers extensively to find candidates, reject candidates, and search for proofs that candidates are single axioms.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Received February 26, 2004; accepted in final form September 14, 2004.
Rights and permissions
About this article
Cite this article
McCune, W., Padmanabhan, R., Rose, M.A. et al. Automated discovery of single axioms for ortholattices. Algebra univers. 52, 541–549 (2005). https://doi.org/10.1007/s00012-004-1902-0
Issue Date:
DOI: https://doi.org/10.1007/s00012-004-1902-0