Quantifiers for quantum logic

Preprint English OPEN
Heunen, Chris (2008)
  • Subject: Mathematics - Category Theory | Mathematics - Logic | 03G12 | 03G30 | Quantum Physics
    arxiv: Mathematics::Category Theory | Computer Science::Logic in Computer Science | Mathematics::Logic

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 catego... View more
  • References (12)
    12 references, page 1 of 2

    [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.

    [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.

  • Metrics
    No metrics available
Share - Bookmark