arXiv 2015-01-11 EN Proatomic modular ortholattices: Representation and equational theory Herrmann, Christian · Roddy, Michael S.