TY - RPRT TI - Reforming Takeuti's Quantum Set Theory to Satisfy De Morgan's Laws AU - Masanao Ozawa PY - 2020 UR - https://arxiv.org/abs/2012.02928 ID - 2012.02928 ER -