TY - RPRT TI - Boolean lifting property in quantales AU - Daniela Cheptea AU - George Georgescu PY - 2019 UR - https://arxiv.org/abs/1901.06191 ID - 1901.06191 ER -