Negations and Meets in Topos Quantum Theory

Foundations of Physics 52 (1):1-27 (2021)
  Copy   BIBTEX


The daseinisation is a mapping from an orthomodular lattice in ordinary quantum theory into a Heyting algebra in topos quantum theory. While distributivity does not always hold in orthomodular lattices, it does in Heyting algebras. We investigate the conditions under which negations and meets are preserved by daseinisation, and the condition that any element in the Heyting algebra transformed through daseinisation corresponds to an element in the original orthomodular lattice. We show that these conditions are equivalent, and that, not only in the case of non-distributive orthomodular lattices but also in the case of Boolean algebras containing more than four elements, the Heyting algebra transformed from the orthomodular lattice through daseinisation will contain an element that does not correspond to any element of the original orthomodular lattice.



    Upload a copy of this work     Papers currently archived: 79,912

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Topos Theoretic Quantum Realism.Benjamin Eva - 2017 - British Journal for the Philosophy of Science 68 (4):1149-1181.
Modality and Contextuality in Topos Quantum Theory.Benjamin Eva - 2016 - Studia Logica 104 (6):1099-1118.
Quantum Logic and Quantum Reconstruction.Allen Stairs - 2015 - Foundations of Physics 45 (10):1351-1361.
Classifying toposes for first-order theories.Carsten Butz & Peter Johnstone - 1998 - Annals of Pure and Applied Logic 91 (1):33-58.
On the Notion of Truth in Quantum Mechanics.Vassilios Karakostas & Elias Zafiris - 2018 - Proceedings of the XXIII World Congress of Philosophy 60:19-24.
Systems of Quantum Logic.Satoko Titani, Heiji Kodera & Hiroshi Aoyama - 2013 - Studia Logica 101 (1):193-217.
Critical Reflections on Quantum Probability Theory.László Szabó - 2001 - Vienna Circle Institute Yearbook 8:201-219.


Added to PP

5 (#1,194,208)

6 months
2 (#319,667)

Historical graph of downloads
How can I increase my downloads?