TY - RPRT TI - Quantum Computational Logics. A Survey AU - M. L. Dalla Chiara AU - R. Giuntini AU - R. Leporini PY - 2003 UR - https://arxiv.org/abs/quant-ph/0305029 ID - quant-ph/0305029 ER -