@article{n-level,
	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",
	volume="39",
	number=7,
	pages={731--759},
	url = "http://arxiv.org/abs/0902.3201",
}