publication . Preprint . 2008

Quantifiers for quantum logic

Heunen, Chris;
Open Access English
  • Published: 10 Nov 2008
We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they form orthomodular lattices. This shows that quantum logic is just an incarnation of categorical logic, enabling us to establish an existential quantifier for quantum logic, and conclude that there cannot be a universal quantifier.
arXiv: Computer Science::Logic in Computer ScienceMathematics::Category TheoryMathematics::Logic
free text keywords: Mathematics - Logic, Mathematics - Category Theory, Quantum Physics, 03G12, 03G30
Download from

[Abr] Samson Abramsky. Temperley-lieb algebra: From knot theory to logic and computation via quantum mechanics. In Goong Chen, Louis Kauffman, and Sam Lomonaco, editors, Mathematics of Quantum Computing and Technology, pages 415-458. Taylor and Francis, 2007.

[Bir] Garrett Birkhoff. Lattice Theory. American Mathematical Society, 1948.

[Bor] Francis Borceux. Handbook of Categorical Algebra 1: Basic Category Theory. Encyclopedia of Mathematics and its Applications 50. Cambridge University Press, 1994.

[But] Carsten Butz. Regular categories and regular logic. BRICS Lecture Series LS-98-2, 1998.

[BV] Garrett Birkhoff and John Von Neumann. The logic of quantum mechanics. Annals of Mathematics, 37:823-843, 1936.

[Dun] Ross Duncan. Types for Quantum Computing. PhD thesis, Oxford University Computer Laboratory, 2006.

[Har] John Harding. Orthomodularity in dagger biproduct categories. submitted to International Journal of Theoretical Physics, 2008.

[Heu] Chris Heunen. An embedding theorem for Hilbert categories. submitted to Theory and Applications of Categories, 2008. [OpenAIRE]

[Jac] B. Jacobs. Categorical Logic and Type Theory. Number 141 in Studies in Logic and the Foundations of Mathematics. North Holland, 1999.

[LS] Joachim Lambek and Phil Scott. Introduction to higher order categorical logic. Cambridge University Press, 1986.

[Pal] Paul H. Palmquist. Adjoint functors induced by adjoint linear transformations. Proceedings of the American Mathematical Society, 44(2):251-254, 1974.

[Sel] Peter Selinger. Idempotents in dagger categories. In QPL 2006, pages 87-101, 2006.

Any information missing or wrong?Report an Issue