Book contents
- Frontmatter
- Contents
- Preface
- Introduction
- 1 A (very) brief tour of quantum mechanics, computation, and category theory
- 2 Could logic be empirical? The Putnam-Kripke debate
- 3 The essence of quantum theory for computers
- 4 Fiber products of measures and quantum foundations
- 5 Operational theories and categorical quantum mechanics
- 6 Relating operator spaces via adjunctions
- 7 Topos-based logic for quantum systems and bi-Heyting algebras
- 8 The logic of quantum mechanics – Take II
- 9 Reasoning about meaning in natural language with compact closed categories and Frobenius algebras
- 10 Knot logic and topological quantum computing with Majorana fermions
- Index
- References
7 - Topos-based logic for quantum systems and bi-Heyting algebras
Published online by Cambridge University Press: 05 June 2016
Book contents
- Frontmatter
- Contents
- Preface
- Introduction
- 1 A (very) brief tour of quantum mechanics, computation, and category theory
- 2 Could logic be empirical? The Putnam-Kripke debate
- 3 The essence of quantum theory for computers
- 4 Fiber products of measures and quantum foundations
- 5 Operational theories and categorical quantum mechanics
- 6 Relating operator spaces via adjunctions
- 7 Topos-based logic for quantum systems and bi-Heyting algebras
- 8 The logic of quantum mechanics – Take II
- 9 Reasoning about meaning in natural language with compact closed categories and Frobenius algebras
- 10 Knot logic and topological quantum computing with Majorana fermions
- Index
- References
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Logic and Algebraic Structures in Quantum Computing , pp. 151 - 173Publisher: Cambridge University PressPrint publication year: 2016
References
[1] and , The sheaf-theoretic structure of non-locality and contextuality, New Journal of Physics, vol. 13 (2011), p. 113036.Google Scholar
[2] , , and , The cohomology of non-locality and contextuality, Proceedings 8th International Workshop on Quantum Physics and Logic, Nijmegen, Netherlands, October 27-29, 2011 (, , and , editors), Electronic Proceedings in Theoretical Computer Science, vol. 95, Open Publishing Association, 2012, eprint available at arXiv:1111.3620 [quant-ph], pp. 1–14.
[3] et al., Bitopological duality for distributive lattices and heyting algebras, Mathematical Structures in Computer Science, vol. 20 (2010), pp. 359–393.Google Scholar
[4] and , The logic of quantum mechanics, Annali di Matematica Pura ed Applicata, vol. 37 (1936), pp. 823–843.Google Scholar
[5] , , , and , Intuitionistic quantum logic of an n-level system, Foundations of Physics, vol. 39 (2009), pp. 731–759.Google Scholar
[6] and , Quantum logics, Handbook of Philosophical Logic ( and , editors), vol. VI, Kluwer, Dordrecht, 2002, pp. 129–228.
[7] , Kochen-specker theorem for von Neumann algebras, International Journal of Theoretical Physics, vol. 44 (2005), pp. 139–160.Google Scholar
[8] , Quantum states and measures on the spectral presheaf, Adv. Sci. Lett., vol. 2 (2009), pp. 291–301, special issue on “Quantum Gravity, Cosmology and Black Holes”, ed. M. Bojowald.Google Scholar
[9] , Topos theory and ‘neo-realist’ quantum theory, Quantum Field Theory, Competitive Models (, , and , editors), Birkhäuser, Basel, Boston, Berlin, 2009.
[10] , The physical interpretation of daseinisation, Deep Beauty (, editor), Cambridge University Press, 2011, pp. 207–238.
[11] , Topos quantum logic and mixed states, Proceedings of the 6th International Workshop on Quantum Physics and Logic (QPL 2009), Oxford, vol. 270, Electronic Notes in Theoretical Computer Science, no. 2, 2011.Google Scholar
[12] and , A topos foundation for theories of physics: I. Formal languages for physics, Journal of Mathematical Physics, vol. 49 (2008), p. 053515.Google Scholar
[13] and , A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory, Journal of Mathematical Physics, vol. 49 (2008), p. 053516.Google Scholar
[14] and , A topos foundation for theories of physics: III. Quantum theory and the representation of physical quantities with arrows δ?(Â) : Σ → R↔, Journal of Mathematical Physics, vol. 49 (2008), p. 053517.Google Scholar
[15] and , A topos foundation for theories of physics: IV. Categories of systems, Journal of Mathematical Physics, vol. 49 (2008), p. 053518.Google Scholar
[16] and , ‘What is a Thing?’: Topos Theory in the Foundations of Physics, New Structures for Physics (, editor), Lecture Notes in Physics, vol. 813, Springer, Heidelberg, Dordrecht, London, New York, 2011, pp. 753–937.
[17] and , Classical and quantum probabilities as truth values, Journal of Mathematical Physics, vol. 53 (2012), p. 032101.Google Scholar
[18] , , and , A topos for algebraic quantum theory, Communications in Mathematical Physics, vol. 291 (2009), pp. 63–110.Google Scholar
[19] , , and , Bohrification, Deep Beauty (, editor), Cambridge University Press, 2011, pp. 271–313.
[20] , , and , Bohrification of von Neumann algebras and quantum logic, Synthese, (2011), pp. 719–752, Online first, DOI: 10.1007/s11229-011-9918-4.
[21] , Topos theory and consistent histories: The internal logic of the set of all consistent sets, International Journal of Theoretical Physics, vol. 36 (1997), pp. 785–814.Google Scholar
[22] , Is it true; or is it false; or somewhere in between? the logic of quantum theory, Contemporary Physics, vol. 46 (2005), pp. 207–219.Google Scholar
[23] and , A topos perspective on the Kochen-Specker theorem: I. Quantum states as generalised valuations, International Journal of Theoretical Physics, vol. 37 (1998), pp. 2669–2733.Google Scholar
[24] and , A topos perspective on the Kochen-Specker theorem: II. Conceptual aspects and classical analogues, International Journal of Theoretical Physics, vol. 38 (1999), pp. 827–859.Google Scholar
[25] and , Some possible roles for topos theory in quantum theory and quantum gravity, Foundations of Physics, vol. 30 (2000), pp. 1707–1735.Google Scholar
[26] and , A topos perspective on the Kochen-Specker theorem: IV. Interval valuations, International Journal of Theoretical Physics, vol. 41 (2002), pp. 613–639.Google Scholar
[27] , , and , A topos perspective on the Kochen-Specker theorem: III. Von Neumann algebras as the base category, International Journal of Theoretical Physics, vol. 39 (2000), pp. 1413–1436.Google Scholar
[28] and , Fundamentals of the Theory of Operator Algebras, vol. I, II, Academic Press, New York, 1983.
[29] and , The problem of hidden variables in quantum mechanics, Journal of Mathematics and Mechanics, vol. 17 (1967), pp. 59–87.Google Scholar
[30] , Introduction, Categories in Continuum Physics (Buffalo 1982), Lecture Notes in Mathematics, vol. 1174, Springer, Berlin, Heidelberg, New York, Tokyo, 1986, pp. 1–16.
[31] , Intrinsic co-heyting boundaries and the leibniz rule in certain toposes, Category Theory, Proceedings, Como 1990 (, , and , editors), Lecture Notes in Mathematics, vol. 1488, Springer, Berlin, Heidelberg, New York, 1991, pp. 279–281.
[32] and , Sheaves in Geometry and Logic: A First Introduction to Topos Theory, Springer, New York, Berlin, Heidelberg, 1992.
[33] , Foundations of Quantum Group Theory, Cambridge University Press, 1995.
[34] , Quantum spacetime and physical reality, On Space and Time (, editor), Cambridge University Press, 2008, pp. 56–140.
[35] and , Completeness results for intuitionistic and modal logic in a categorical setting, Annals of Pure and Applied Logic, vol. 72 (1995), pp. 25–101.Google Scholar
[36] , Semi-boolean algebras and their applications to intuitionistic logic with dual operations, Fundamenta Mathematicae, vol. 83 (1973), pp. 219–249.Google Scholar
[37] , Model theory for an extension of intuitionistic logic, Studia Logica, vol. 36 (1977), pp. 73–87.Google Scholar
[38] and , Bi-heyting algebras, toposes and modalities, Journal of Philosophical Logic, vol. 25 (1996), pp. 25–43.Google Scholar
- 3
- Cited by