Proatomic modular ortholattices: Representation and equational theory

Abstract

We study modular ortholattices in the variety generated by the finite dimensional ones from an equational and geometric point of view. We relate this to coordinatization results.

Cited by in corpus (2)

• On linear representation of $\ast$-regular rings having representable ortholattice of projections
• A Note on the "Third Life of Quantum Logic"