The Varieties Defined by P-compatible Identities of Modular Ortholattices

摘要

In the present paper we give syntactical and semantical characterization of the class of algebras defined by P-compatible identities of modular ortholattices. We also describe the lattice of some subvarieties of the variety MOL _Ex defined by so called externally compatible identities of modular ortholattices.