Negative Translations of Orthomodular Lattices and Their Logic

Wesley Fussner, Gavin St. John

We introduce residuated ortholattices as a generalization of -- and environment for the investigation of -- orthomodular lattices. We establish a number of basic algebraic facts re…