@misc{indiciae4ba83dbc20b7,
  title = {A presentation of Quantum Logic based on an "and then" connective},
  author = {Daniel Lehmann},
  year = {2007},
  doi = {10.1093/logcom/exm054},
  url = {https://arxiv.org/abs/quant-ph/0701113},
  note = {Source identifier: quant-ph/0701113}
}