@article{caspersheunenlandsmanspitters:nlevelsystem,
  title = "Intuitionistic quantum logic of an n-level system",
  author = "Martijn Caspers and Chris Heunen and Klaas Landsman and Bas Spitters",
  year = "2009",
  journal = "Foundations of Physics",
  number = "7",
  pages = "731-759",
  publisher = "Springer",
  url = "http://arxiv.org/abs/0902.3201",
  volume = "39",
  doi = "10.1007/s10701-009-9308-7",
}