Fussner, Daniel; St. John, Gavin (2021). Negative Translations of Orthomodular Lattices and Their Logic (arXiv 343). Cornell University 10.4204/EPTCS.343.3