The Equational Theory of Orthocomplemented Modular
Lattices
Michael S. Roddy
An orthocomplemented modular lattice (MOL) is a bounded modular
lattice endowed with an orthocomplementation. Our investigations
into the structure of the lattice of subvarieties of this
variety of algebras will be reported upon.