TY  - RPRT
TI  - Negative Translations of Orthomodular Lattices and Their Logic
AU  - Wesley Fussner
AU  - Gavin St. John
PY  - 2021
DO  - 10.4204/eptcs.343.3
UR  - https://arxiv.org/abs/2106.03656
ID  - 2106.03656
ER  -