Skip to main content Accessibility help
×
Home
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 1
  • Print publication year: 2016
  • Online publication date: June 2016

7 - Topos-based logic for quantum systems and bi-Heyting algebras

[1] S., Abramsky and A., Brandenburger, The sheaf-theoretic structure of non-locality and contextuality, New Journal of Physics, vol. 13 (2011), p. 113036.
[2] S., Abramsky, S., Mansfield, and R. Soares, Barbosa, The cohomology of non-locality and contextuality, Proceedings 8th International Workshop on Quantum Physics and Logic, Nijmegen, Netherlands, October 27-29, 2011 (B., Jacobs, P., Selinger, and B., Spitters, 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] G., Bezhanishvili et al., Bitopological duality for distributive lattices and heyting algebras, Mathematical Structures in Computer Science, vol. 20 (2010), pp. 359–393.
[4] G., Birkhoff and J. von, Neumann, The logic of quantum mechanics, Annali di Matematica Pura ed Applicata, vol. 37 (1936), pp. 823–843.
[5] M., Caspers, C., Heunen, N. P., Landsman, and B., Spitters, Intuitionistic quantum logic of an n-level system, Foundations of Physics, vol. 39 (2009), pp. 731–759.
[6] M. L. Dalla, Chiara and R., Giuntini, Quantum logics, Handbook of Philosophical Logic (G., Gabbay and F., Guenthner, editors), vol. VI, Kluwer, Dordrecht, 2002, pp. 129–228.
[7] A., Döring, Kochen-specker theorem for von Neumann algebras, International Journal of Theoretical Physics, vol. 44 (2005), pp. 139–160.
[8] A., Döring, 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.
[9] A., Döring, Topos theory and ‘neo-realist’ quantum theory, Quantum Field Theory, Competitive Models (B., Fauser, J., Tolksdorf, and E., Zeidler, editors), Birkhäuser, Basel, Boston, Berlin, 2009.
[10] A., Döring, The physical interpretation of daseinisation, Deep Beauty (H., Halvorson, editor), Cambridge University Press, 2011, pp. 207–238.
[11] A., Döring, 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.
[12] A., Döring and C. J., Isham, A topos foundation for theories of physics: I. Formal languages for physics, Journal of Mathematical Physics, vol. 49 (2008), p. 053515.
[13] A., Döring and C. J., Isham, A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory, Journal of Mathematical Physics, vol. 49 (2008), p. 053516.
[14] A., Döring and C. J., Isham, 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.
[15] A., Döring and C. J., Isham, A topos foundation for theories of physics: IV. Categories of systems, Journal of Mathematical Physics, vol. 49 (2008), p. 053518.
[16] A., Döring and C. J., Isham, ‘What is a Thing?’: Topos Theory in the Foundations of Physics, New Structures for Physics (B., Coecke, editor), Lecture Notes in Physics, vol. 813, Springer, Heidelberg, Dordrecht, London, New York, 2011, pp. 753–937.
[17] A., Döring and C. J., Isham, Classical and quantum probabilities as truth values, Journal of Mathematical Physics, vol. 53 (2012), p. 032101.
[18] C., Heunen, N. P., Landsman, and B., Spitters, A topos for algebraic quantum theory, Communications in Mathematical Physics, vol. 291 (2009), pp. 63–110.
[19] C., Heunen, N. P., Landsman, and B., Spitters, Bohrification, Deep Beauty (H., Halvorson, editor), Cambridge University Press, 2011, pp. 271–313.
[20] C., Heunen, N. P., Landsman, and B., Spitters, Bohrification of von Neumann algebras and quantum logic, Synthese, (2011), pp. 719–752, Online first, DOI: 10.1007/s11229-011-9918-4.
[21] C. J., Isham, 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.
[22] C. J., Isham, Is it true; or is it false; or somewhere in between? the logic of quantum theory, Contemporary Physics, vol. 46 (2005), pp. 207–219.
[23] C. J., Isham and J., Butterfield, 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.
[24] C. J., Isham and J., Butterfield, 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.
[25] C. J., Isham and J., Butterfield, Some possible roles for topos theory in quantum theory and quantum gravity, Foundations of Physics, vol. 30 (2000), pp. 1707–1735.
[26] C. J., Isham and J., Butterfield, A topos perspective on the Kochen-Specker theorem: IV. Interval valuations, International Journal of Theoretical Physics, vol. 41 (2002), pp. 613–639.
[27] C. J., Isham, J., Hamilton, and J., Butterfield, 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.
[28] R. V., Kadison and J. R., Ringrose, Fundamentals of the Theory of Operator Algebras, vol. I, II, Academic Press, New York, 1983.
[29] S., Kochen and E. P., Specker, The problem of hidden variables in quantum mechanics, Journal of Mathematics and Mechanics, vol. 17 (1967), pp. 59–87.
[30] F. W., Lawvere, Introduction, Categories in Continuum Physics (Buffalo 1982), Lecture Notes in Mathematics, vol. 1174, Springer, Berlin, Heidelberg, New York, Tokyo, 1986, pp. 1–16.
[31] F. W., Lawvere, Intrinsic co-heyting boundaries and the leibniz rule in certain toposes, Category Theory, Proceedings, Como 1990 (A., Carboni, M. C., Pedicchio, and G., Rosolini, editors), Lecture Notes in Mathematics, vol. 1488, Springer, Berlin, Heidelberg, New York, 1991, pp. 279–281.
[32] S. Mac, Lane and I., Moerdijk, Sheaves in Geometry and Logic: A First Introduction to Topos Theory, Springer, New York, Berlin, Heidelberg, 1992.
[33] S., Majid, Foundations of Quantum Group Theory, Cambridge University Press, 1995.
[34] S., Majid, Quantum spacetime and physical reality, On Space and Time (S., Majid, editor), Cambridge University Press, 2008, pp. 56–140.
[35] M., Makkai and G. E., Reyes, Completeness results for intuitionistic and modal logic in a categorical setting, Annals of Pure and Applied Logic, vol. 72 (1995), pp. 25–101.
[36] C., Rauszer, Semi-boolean algebras and their applications to intuitionistic logic with dual operations, Fundamenta Mathematicae, vol. 83 (1973), pp. 219–249.
[37] C., Rauszer, Model theory for an extension of intuitionistic logic, Studia Logica, vol. 36 (1977), pp. 73–87.
[38] G. E., Reyes and H., Zolfaghari, Bi-heyting algebras, toposes and modalities, Journal of Philosophical Logic, vol. 25 (1996), pp. 25–43.