{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T03:24:07Z","timestamp":1774668247572,"version":"3.50.1"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1007\/s11229-011-9918-4","type":"journal-article","created":{"date-parts":[[2011,3,28]],"date-time":"2011-03-28T08:48:57Z","timestamp":1301302137000},"page":"719-752","source":"Crossref","is-referenced-by-count":23,"title":["Bohrification of operator algebras and quantum logic"],"prefix":"10.1007","volume":"186","author":[{"given":"Chris","family":"Heunen","sequence":"first","affiliation":[]},{"given":"Nicolaas P.","family":"Landsman","sequence":"additional","affiliation":[]},{"given":"Bas","family":"Spitters","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,3,29]]},"reference":[{"issue":"1\u20133","key":"9918_CR1","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1016\/j.apal.2005.05.018","volume":"137","author":"B. Banaschewski","year":"2006","unstructured":"Banaschewski B., Mulvey C. J. (2006) A globalisation of the Gelfand duality theorem. Annals of Pure and Applied Logic 137(1\u20133): 62\u2013103","journal-title":"Annals of Pure and Applied Logic"},{"key":"9918_CR2","volume-title":"Toposes and local set theories","author":"L. Bell J.","year":"1988","unstructured":"Bell J. L. (1988) Toposes and local set theories. The Clarendon Press\/Oxford University Press, New York"},{"key":"9918_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-15071-5","volume-title":"Baer *-rings","author":"S. K. Berberian","year":"1972","unstructured":"Berberian S. K. (1972) Baer *-rings. Springer, New York"},{"issue":"4","key":"9918_CR4","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G. Birkhoff","year":"1936","unstructured":"Birkhoff G., von Neumann J. (1936) The logic of quantum mechanics. Annals of Mathematics 37(4): 823\u2013843","journal-title":"Annals of Mathematics"},{"key":"9918_CR5","first-page":"201","volume-title":"Philosopher\u2013Scientist","author":"N. Bohr","year":"1949","unstructured":"Bohr N. (1949) Discussion with Einstein on epistemological problems in atomic physics. In: Einstein A. (ed) Philosopher\u2013Scientist. Open Court, La Salle, pp 201\u2013241"},{"key":"9918_CR6","unstructured":"Bohr, N. (1985). Collected works, Vol. 6: Foundations of quantum physics I (1926\u20131932); Vol. 7: Foundations of quantum physics II (1933\u20131958). New York: Elsevier."},{"key":"9918_CR7","unstructured":"Bohr, N. (1987). Quantum physics and philosophy\u2014causality and complementarity. In The philosophical writings of Niels Bohr, Vol. III: Essays 1958\u20131962 on atomic physics and human knowledge. Woodbridge: Ox Box Press."},{"key":"9918_CR8","doi-asserted-by":"crossref","DOI":"10.5962\/bhl.title.29413","volume-title":"An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities","author":"G. Boole","year":"1854","unstructured":"Boole G. (1854) An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities. Macmillan, London"},{"key":"9918_CR9","doi-asserted-by":"crossref","first-page":"115","DOI":"10.4153\/CMB-1970-023-6","volume":"13","author":"G. Bruns","year":"1970","unstructured":"Bruns G., Lakser H. (1970) Injective hulls of semilattices. Canadian Mathematical Bulletin 13: 115\u2013118","journal-title":"Canadian Mathematical Bulletin"},{"issue":"11","key":"9918_CR10","doi-asserted-by":"crossref","first-page":"2669","DOI":"10.1023\/A:1026680806775","volume":"37","author":"J. Butterfield","year":"1998","unstructured":"Butterfield J., Isham C. J. (1998) A topos perspective on the Kochen\u2013Specker theorem: I. Quantum states as generalized valuations. International Journal of Theoretical Physics 37(11): 2669\u20132733","journal-title":"International Journal of Theoretical Physics"},{"key":"9918_CR11","doi-asserted-by":"crossref","unstructured":"Caspers, M., Heunen, C., Landsman, N. P., & Spitters, B. (2009). Intuitionistic quantum logic of an n-level system. Foundations of Physics, 731\u2013759. arXiv:0902.3201.","DOI":"10.1007\/s10701-009-9308-7"},{"key":"9918_CR12","unstructured":"Cederquist, J., & Coquand, T. (2000). Entailment relations and distributive lattices. In Logic Colloquium \u201998 (Prague), Vol. 13 of Lecture Notes in Logic (pp. 127\u2013139). Urbana, IL: Association for Symbolic Logic."},{"key":"9918_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0526-4","volume-title":"Reasoning in quantum theory: Sharp and unsharp quantum logics","author":"M. D. Chiara","year":"2004","unstructured":"Chiara M. D., Giuntini R., Greechie R. (2004) Reasoning in quantum theory: Sharp and unsharp quantum logics. Kluwer, Dordrecht"},{"key":"9918_CR14","doi-asserted-by":"crossref","unstructured":"Chiara, M. L. D., & Giuntini, R. (2002). Quantum logics. In Handbook of Philosophical Logic (Vol. VI, pp. 129\u2013228). Dordrecht: Kluwer.","DOI":"10.1007\/978-94-017-0460-1_2"},{"key":"9918_CR15","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1023\/A:1015106515413","volume":"70","author":"B. Coecke","year":"2002","unstructured":"Coecke B. (2002) Quantum logic in intuitionistic perspective. Studia Logica 70: 411\u2013440","journal-title":"Studia Logica"},{"key":"9918_CR16","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/j.jpaa.2004.08.024","volume":"197","author":"T. Coquand","year":"2005","unstructured":"Coquand T. (2005) About Stone\u2019s notion of spectrum. Journal of Pure and Applied Algebra 197: 141\u2013158","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"12","key":"9918_CR17","first-page":"1932","volume":"11","author":"T. Coquand","year":"2005","unstructured":"Coquand T., Spitters B. (2005) Formal topology and constructive mathematics: The Gelfand and Stone\u2013Yosida representation theorems. Journal of Universal Computer Science 11(12): 1932\u20131944","journal-title":"Journal of Universal Computer Science"},{"issue":"2","key":"9918_CR18","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1017\/S0305004109002539","volume":"147","author":"T. Coquand","year":"2009","unstructured":"Coquand T., Spitters B. (2009) Constructive Gelfand duality for C*-algebras. Mathematical Proceedings of the Cambridge Philosophical Society, 147(2): 323\u2013337","journal-title":"Mathematical Proceedings of the Cambridge Philosophical Society"},{"issue":"3","key":"9918_CR19","first-page":"1","volume":"1","author":"T. Coquand","year":"2009","unstructured":"Coquand T., Spitters B. (2009b) Integrals and valuations. Journal of Logic and Analysis 1(3): 1\u201322","journal-title":"Journal of Logic and Analysis"},{"issue":"9","key":"9918_CR20","doi-asserted-by":"crossref","first-page":"4705","DOI":"10.1090\/S0002-9947-08-04598-4","volume":"360","author":"C. D\u2019Antoni","year":"2008","unstructured":"D\u2019Antoni C., Zsid\u00f3 L. (2008) Abelian strict approximation in AW*-algebras and Weyl\u2013von Neumann type theorems. Transactions of the American Mathematical Society 360(9): 4705\u20134738","journal-title":"Transactions of the American Mathematical Society"},{"key":"9918_CR21","unstructured":"Dediu, Lumini\u0163a (V\u00ee\u0163\u01ce), & Bridges, D. (2001). Embedding a linear subset of B(H) in the dual of its predual. In U. Berger, P. Schuster, & H. Osswald (Eds.), Reuniting the antipodes\u2014Constructive and nonstandard views of the continuum. Symposium proceedings, San Servolo\/Venice, Italy, May 16\u201322, 1999 (pp. 55\u201361). Dordrecht: Kluwer."},{"issue":"2","key":"9918_CR22","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/s10773-005-1490-6","volume":"44","author":"A. D\u00f6ring","year":"2005","unstructured":"D\u00f6ring A. (2005) Kochen\u2013Specker theorem for Von Neumann algebras. International Journal of Theoretical Physics 44(2): 139\u2013160","journal-title":"International Journal of Theoretical Physics"},{"key":"9918_CR23","doi-asserted-by":"crossref","first-page":"053516","DOI":"10.1063\/1.2883742","volume":"49","author":"A. D\u00f6ring","year":"2008","unstructured":"D\u00f6ring A., Isham C. J. (2008) A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory. Journal of Mathematical Physics 49: 053516","journal-title":"Journal of Mathematical Physics"},{"key":"9918_CR24","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198505242.001.0001","volume-title":"Elements of intuitionistic logic","author":"M. Dummett","year":"2000","unstructured":"Dummett M. (2000) Elements of intuitionistic logic (2nd ed.). Clarendon Press, Oxford","edition":"2"},{"issue":"2","key":"9918_CR25","doi-asserted-by":"crossref","first-page":"275","DOI":"10.2307\/2271104","volume":"34","author":"P. D. Finch","year":"1969","unstructured":"Finch P. D. (1969) On the structure of quantum logic. Journal of Symbolic Logic 34(2): 275\u2013282","journal-title":"Journal of Symbolic Logic"},{"key":"9918_CR26","volume-title":"Topoi, the categorical analysis of logic","author":"R. Goldblatt","year":"1984","unstructured":"Goldblatt R. (1984) Topoi, the categorical analysis of logic. North-Holland, Amsterdam"},{"key":"9918_CR27","doi-asserted-by":"crossref","first-page":"21","DOI":"10.4064\/cm-27-1-21-30","volume":"27","author":"W. H. Graves","year":"1973","unstructured":"Graves W. H., Selesnick S. A. (1973) An extension of the Stone representation for orthomodular lattices. Colloquium Mathematicum 27: 21\u201330","journal-title":"Colloquium Mathematicum"},{"key":"9918_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61458-3","volume-title":"Local quantum physics: Fields, particles, algebras. Texts and monographs in physics","author":"R. Haag","year":"1996","unstructured":"Haag R. (1996) Local quantum physics: Fields, particles, algebras. Texts and monographs in physics (2nd ed.). Springer, Berlin","edition":"2"},{"key":"9918_CR29","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1098\/rstl.1835.0009","volume":"125","author":"R. Hamilton W.","year":"1835","unstructured":"Hamilton W. R. (1835) Second essay on a general method in dynamics. Philosophical Transactions of the Royal Society, Part I, 125: 95\u2013144","journal-title":"Philosophical Transactions of the Royal Society, Part I"},{"key":"9918_CR30","doi-asserted-by":"crossref","first-page":"871","DOI":"10.1016\/0039-3681(94)90067-1","volume":"25","author":"C. Held","year":"1994","unstructured":"Held C. (1994) The meaning of complementarity. Studies in History and Philosophy of Science, Part A 25: 871\u2013893","journal-title":"Studies in History and Philosophy of Science, Part A"},{"key":"9918_CR31","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s00220-009-0865-6","volume":"291","author":"C. Heunen","year":"2009","unstructured":"Heunen C., Landsman N.P., Spitters B. (2009) A topos for algebraic quantum theory. Communications in Mathematical Physics 291: 63\u2013110 arXiv:0709.4364","journal-title":"Communications in Mathematical Physics"},{"key":"9918_CR32","unstructured":"Hilbert, D. (2004\u20132010). Lectures on the foundations of mathematics and physics (Vols. 1\u20136). Berlin: Springer."},{"key":"9918_CR33","volume-title":"Stone spaces","author":"P. T. Johnstone","year":"1982","unstructured":"Johnstone P. T. (1982) Stone spaces. Cambridge University Press, Cambridge"},{"key":"9918_CR34","unstructured":"Joyal, A., & Tierney, M. (1983). An extension of the Galois theory of Grothendieck. Memoirs of the American Mathematical Society, 51(309), vii+71\u00a0pp."},{"key":"9918_CR35","volume-title":"Orthomodular lattices","author":"G. Kalmbach","year":"1983","unstructured":"Kalmbach G. (1983) Orthomodular lattices. Academic Press, London"},{"key":"9918_CR36","volume-title":"Rings of operators","author":"I. Kaplansky","year":"1968","unstructured":"Kaplansky I. (1968) Rings of operators. W. A. Benjamin, Inc, New York"},{"key":"9918_CR37","first-page":"59","volume":"17","author":"S. Kochen","year":"1967","unstructured":"Kochen S., Specker E. (1967) The problem of hidden variables in quantum mechanics. Journal of Mathematics and Mechanics 17: 59\u201387","journal-title":"Journal of Mathematics and Mechanics"},{"key":"9918_CR38","doi-asserted-by":"crossref","unstructured":"Kripke, S. (1965). Semantical analysis of intuitionistic logic I. In Formal systems and recursive functions. Amsterdam: North-Holland.","DOI":"10.1016\/S0049-237X(08)71685-9"},{"key":"9918_CR39","doi-asserted-by":"crossref","first-page":"789","DOI":"10.1007\/BF00670506","volume":"19","author":"P. J. Lahti","year":"1980","unstructured":"Lahti P. J. (1980) Uncertainty and complementarity in axiomatic quantum mechanics. International Journal of Theoretical Physics 19: 789\u2013842","journal-title":"International Journal of Theoretical Physics"},{"key":"9918_CR40","first-page":"417","volume-title":"Handbook of philosophy of science, Vol. 2: Philosophy of physics","author":"N. P. Landsman","year":"2007","unstructured":"Landsman N. P. (2007) Between classical and quantum. In: Earman J., Butterfield J. (eds) Handbook of philosophy of science, Vol. 2: Philosophy of physics. Elsevier, New York, pp 417\u2013553"},{"key":"9918_CR41","volume-title":"Categories for the working mathematician","author":"S. Mac Lane","year":"1998","unstructured":"Mac Lane S. (1998) Categories for the working mathematician (2nd ed.). Springer, Berlin","edition":"2"},{"key":"9918_CR42","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0927-0","volume-title":"Sheaves in geometry and logic: A first introduction to topos theory","author":"S. Mac Lane","year":"1992","unstructured":"Mac Lane S., Moerdijk I. (1992) Sheaves in geometry and logic: A first introduction to topos theory. Springer, Berlin"},{"issue":"1","key":"9918_CR43","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S1355-2198(98)00033-1","volume":"30","author":"D. J. Moore","year":"1999","unstructured":"Moore D. J. (1999) On state spaces and property lattices. Studies in History and Philosophy of Modern Physics 30(1): 61\u201383","journal-title":"Studies in History and Philosophy of Modern Physics"},{"key":"9918_CR44","volume-title":"Foundations of quantum physics, Vol. 19 of Mathematical Physics monograph series","author":"C. Piron","year":"1976","unstructured":"Piron C. (1976) Foundations of quantum physics, Vol. 19 of Mathematical Physics monograph series. W. A. Benjamin, Inc., Reading"},{"key":"9918_CR45","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9026-6","volume-title":"Quantum logic in algebraic approach","author":"M. R\u00e9dei","year":"1998","unstructured":"R\u00e9dei M. (1998) Quantum logic in algebraic approach. Kluwer, Dordrecht"},{"issue":"2","key":"9918_CR46","doi-asserted-by":"crossref","first-page":"528","DOI":"10.2307\/1969091","volume":"47","author":"C. E. Rickart","year":"1946","unstructured":"Rickart C. E. (1946) Banach algebras with an adjoint operation. Annals of Mathematics 47(2): 528\u2013550","journal-title":"Annals of Mathematics"},{"issue":"1","key":"9918_CR47","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF02871928","volume":"52","author":"K. Sait\u00f4","year":"2003","unstructured":"Sait\u00f4 K., Wright J. D. M. (2003) C*-algebras which are Grothendieck spaces. Rendiconti del Circolo Matematico di Palermo (2) 52(1): 141\u2013144","journal-title":"Rendiconti del Circolo Matematico di Palermo (2)"},{"key":"9918_CR48","volume-title":"C*-algebras and W*-algebras. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 60","author":"S. Sakai","year":"1971","unstructured":"Sakai S. (1971) C*-algebras and W*-algebras. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 60. Springer, New York"},{"key":"9918_CR49","volume-title":"The logical analysis of quantum mechanics","author":"E. Scheibe","year":"1973","unstructured":"Scheibe E. (1973) The logical analysis of quantum mechanics. Pergamon Press, Oxford"},{"issue":"12","key":"9918_CR50","first-page":"2096","volume":"11","author":"B. Spitters","year":"2005","unstructured":"Spitters B. (2005) Constructive results on operator algebras. Journal of Universal Computer Science 11(12): 2096\u20132113","journal-title":"Journal of Universal Computer Science"},{"key":"9918_CR51","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1086\/289140","volume":"50","author":"A. Stairs","year":"1983","unstructured":"Stairs A. (1983) Quantum logic, realism and value-definiteness. Philosophy of Science 50: 578\u2013602","journal-title":"Philosophy of Science"},{"key":"9918_CR52","volume-title":"Operator algebras","author":"S. Stratila","year":"2009","unstructured":"Stratila S., Zsido L. (2009) Operator algebras. Theta Foundation, Bucharest"},{"key":"9918_CR53","doi-asserted-by":"crossref","first-page":"2283","DOI":"10.1007\/s10773-005-8023-1","volume":"44","author":"I. Stubbe","year":"2005","unstructured":"Stubbe I. (2005) The canonical topology on a meet-semilattice. International Journal of Theoretical Physics 44: 2283\u20132293","journal-title":"International Journal of Theoretical Physics"},{"key":"9918_CR54","doi-asserted-by":"crossref","unstructured":"Stubbe, I., & van Steirteghem, B. (2007). Propositional systems, Hilbert lattices and generalized Hilbert spaces. In Handbook of quantum logic and quantum structures: Quantum structures (pp. 477\u2013524). New York: Elsevier.","DOI":"10.1016\/B978-044452870-4\/50033-9"},{"key":"9918_CR55","volume-title":"The semantic conception of theories and scientific realism","author":"F. Suppe","year":"1989","unstructured":"Suppe F. (1989) The semantic conception of theories and scientific realism. University of Illinois Press, Urbana"},{"key":"9918_CR56","doi-asserted-by":"crossref","unstructured":"Takesaki, M. (2003a). Theory of operator algebras (Vol. I). Berlin: Springer.","DOI":"10.1007\/978-3-662-10453-8"},{"key":"9918_CR57","doi-asserted-by":"crossref","unstructured":"Takesaki, M. (2003b). Theory of operator algebras (Vol. II). Berlin: Springer.","DOI":"10.1007\/978-3-662-10451-4"},{"key":"9918_CR58","doi-asserted-by":"crossref","unstructured":"Takesaki, M. (2003c). Theory of operator algebras (Vol. III). Berlin: Springer.","DOI":"10.1007\/978-3-662-10451-4"},{"key":"9918_CR59","doi-asserted-by":"crossref","DOI":"10.1093\/0198244274.001.0001","volume-title":"The scientific image","author":"B. Fraassen van","year":"1980","unstructured":"van Fraassen B. (1980) The scientific image. Oxford University Press, Oxford"},{"key":"9918_CR60","unstructured":"von Neumann, J. (1932). Mathematische Grundlagen der Quantenmechanik. Berlin: Springer. (English translation: Mathematical foundations of quantum mechanics, Princeton: Princeton University Press, 1955.)"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s11229-011-9918-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,5]],"date-time":"2024-04-05T13:35:05Z","timestamp":1712324105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-011-9918-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,29]]},"references-count":60,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["9918"],"URL":"https:\/\/doi.org\/10.1007\/s11229-011-9918-4","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3,29]]}}}