TY - RPRT TI - The Algebraic Significance of Weak Excluded Middle Laws AU - T. Lávička AU - T. Moraschini AU - J. G. Raftery PY - 2021 UR - https://arxiv.org/abs/2108.09168 ID - 2108.09168 ER -