李周 吉勒·巴特 徐宇春（Justin Hsu） 明生英 俞能坤 束逻辑和量子分离逻辑的量子解释。 1-14 2021 许可证 https://doi.org/10.109/LICS52264.2021.9470673 conf/lics/2021 db/conf/lics/lics2021.html#ZhouBHYY21