TY  - RPRT
TI  - A presentation of Quantum Logic based on an "and then" connective
AU  - Daniel Lehmann
PY  - 2007
DO  - 10.1093/logcom/exm054
UR  - https://arxiv.org/abs/quant-ph/0701113
ID  - quant-ph/0701113
ER  -