TY  - RPRT
TI  - Modal-type orthomodular logic
AU  - G. Domenech
AU  - H. Freytes
AU  - C. de Ronde
PY  - 2008
DO  - 10.1002/malq.200710088
UR  - https://arxiv.org/abs/0807.1278
ID  - 0807.1278
ER  -