MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS
From MaRDI portal
Publication:5323795
DOI10.1017/S1755020309090169zbMath1170.03335MaRDI QIDQ5323795
Publication date: 30 July 2009
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Other nonclassical logic (03B60) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Other applications of logic (03B80)
Related Items (5)
Axiomatic Thinking—Applied to Religion ⋮ An alternative propositional calculus for application to empirical sciences ⋮ Prior’s OIC nonconservativity example revisited ⋮ Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\) ⋮ Basis logic for application in physics and its intuitionistic alternative
Cites Work
- Unnamed Item
- Unnamed Item
- Completeness of quantum logic
- Quantum logic and physical modalities
- Quantum logical calculi and lattice structures
- Semantic analysis of orthologic
- On the theory of inconsistent formal systems
- Modal logics with two kinds of necessity and possibility. In collaboration with Hans Knapp
- The logic of quantum mechanics
- On a characterization of classical and nonclassical probabilities
- Characterization of hilbert spaces by orthomodular spaces
- The Interpretation of Quantum Mechanics and the Measurement Process
- Quantum logic as an implication algebra
This page was built for publication: MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS