Negations and Meets in Topos Quantum Theory
Sign Up to like & getrecommendations! Published in 2021 at "Foundations of Physics"
DOI: 10.1007/s10701-021-00529-7
Abstract: 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.… read more here.
Keywords: theory; negations meets; daseinisation; orthomodular lattice ... See more keywords