TY - RPRT TI - The square of opposition in orthomodular logic AU - Hector Freytes AU - Christian de Ronde AU - Graciela Domenech PY - 2014 UR - https://arxiv.org/abs/1404.5888 ID - 1404.5888 ER -