TY - RPRT TI - Logical aspects of quantum structures AU - John Harding AU - Zhenghan Wang PY - 2021 UR - https://arxiv.org/abs/2108.09819 ID - 2108.09819 ER -