Automated discovery of single axioms for ortholattices

DOI10.1007/s00012-004-1902-0zbMath1084.06007OpenAlexW2136212246MaRDI QIDQ2577711

Robert Veroff, R. Padmanabhan, Michael A. Rose, William W. McCune

Publication date: 6 January 2006

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00012-004-1902-0

zbMATH Keywords

orthomodular latticessingle axiomsSheffer strokeortholatticesmodular ortholatticesmultiequation bases

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15)

Related Items (3)

Axiomatizing the skew Boolean propositional calculus ⋮ The Legacy of a Great Researcher ⋮ On two alternative axiomatizations of lattices by McKenzie and Sholander

Uses Software

• Mace4

This page was built for publication: Automated discovery of single axioms for ortholattices