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.