TY - RPRT TI - Projection-algebras and quantum logic AU - Daniel Lehmann PY - 2024 UR - https://arxiv.org/abs/2402.07042 ID - 2402.07042 ER -