@misc{indiciae6fccf55fe73e,
  title = {Intuitionistic quantum logic of an n-level system},
  author = {Martijn Caspers and Chris Heunen and Nicolaas P. Landsman and Bas Spitters},
  year = {2009},
  doi = {10.1007/s10701-009-9308-7},
  url = {https://arxiv.org/abs/0902.3201},
  note = {Source identifier: 0902.3201}
}