## Quantifiers for quantum logic

*Heunen, Chris*;

- Subject: Mathematics - Category Theory | Mathematics - Logic | 03G12 | 03G30 | Quantum Physicsarxiv: Mathematics::Category Theory | Computer Science::Logic in Computer Science | Mathematics::Logic

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

- Similar Research Results (1)
Quantum Logic in Dagger Kernel Categories (2011) 71% - Metrics No metrics available

- Download from

- Cite this publication