Basis logic for application in physics and its intuitionistic alternative
DOI10.1007/S10701-009-9406-6zbMATH Open1216.81020OpenAlexW2088311231MaRDI QIDQ535640FDOQ535640
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
Recommendations
- MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS
- An alternative propositional calculus for application to empirical sciences
- Physics and non-classical logics
- The common logic of quantum universe. I: The case of non-relativistic quantum mechanics
- Philosophy and logic of quantum physics. An investigation of the metaphysical and logical implications of quantum physics
quantum logicdistributivitycommensurabilityclassical logicBell's inequalitiesstrong assumptions of classical logic
Quantum measurement theory, state operations, state preparations (81P15) Quantum coherence, entanglement, quantum correlations (81P40) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)
Cites Work
- Speakable and unspeakable in quantum mechanics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reasoning in quantum theory. Sharp and unsharp quantum logics.
- Semantic analysis of orthologic
- The Interpretation of Quantum Mechanics and the Measurement Process
- Title not available (Why is that?)
- MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS
- The principle of excluded middle in quantum logic
- Quantum logic
- Modal logics with two kinds of necessity and possibility. In collaboration with Hans Knapp
- Title not available (Why is that?)
- Towards a general operational and realistic framework for quantum mechanics and relativity theory
Cited In (5)
- Special issue: The contributions of logic to the foundations of physics. Based on the 6th international Studia Logica international conference ``Trends in logic VI, Brussels, Belgium, December 11--12, 2008
- Title not available (Why is that?)
- MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS
- Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\)
- An alternative propositional calculus for application to empirical sciences
This page was built for publication: Basis logic for application in physics and its intuitionistic alternative
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q535640)
