Semilattices global valuations in the topos approach to quantum mechanics

DOI10.1007/S00500-015-1780-8zbMath1387.81018OpenAlexW964074691MaRDI QIDQ1701676

Hector Freytes, Christian de Ronde, Graciela Domenech

Publication date: 27 February 2018

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11336/41415

zbMATH Keywords

modal operatorsintuitionistic quantum logicglobal valuations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A topos for algebraic quantum theory
• Modal operators on Heyting algebras
• Physical properties as modal operators in the topos approach to quantum mechanics
• Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics
• The logic of quantum mechanics
• “What is a Thing?”: Topos Theory in the Foundations of Physics
• Contextual logic for quantum systems
• Many worlds and modality in the interpretation of quantum mechanics: An algebraic approach
• Scopes and limits of modality in quantum mechanics
• Modal-type orthomodular logic
• A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
• Lattices With Involution
• Aspects of topoi
• Probability in quantum computation and quantum computational logics: a survey

This page was built for publication: Semilattices global valuations in the topos approach to quantum mechanics