Basis logic for application in physics and its intuitionistic alternative

DOI10.1007/S10701-009-9406-6zbMath1216.81020OpenAlexW2088311231MaRDI QIDQ535640

Paul Weingartner

Publication date: 13 May 2011

Published in: Foundations of Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10701-009-9406-6

zbMATH Keywords

distributivityquantum logicBell's inequalitiesclassical logiccommensurabilitystrong assumptions of classical logic

Mathematics Subject Classification ID

Quantum measurement theory, state operations, state preparations (81P15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum coherence, entanglement, quantum correlations (81P40)

Related Items (2)

An alternative propositional calculus for application to empirical sciences ⋮ Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\)

Cites Work

• The principle of excluded middle in quantum logic
• Quantum logic
• Semantic analysis of orthologic
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Modal logics with two kinds of necessity and possibility. In collaboration with Hans Knapp
• The Interpretation of Quantum Mechanics and the Measurement Process
• MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Basis logic for application in physics and its intuitionistic alternative