Results 271 to 280 of about 1,783,241 (304)
Some of the next articles are maybe not open access.
International Journal of Theoretical Physics, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Tran, Quan, Wilce, Alexander
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Tran, Quan, Wilce, Alexander
openaire +1 more source
1976
Strict analysis of quantum theory has shown that for certain propositions about quantum-mechanical systems some laws of logic lose their validity. This assertion is justified by pointing out that quantum mechanics is an empirically verified theory.
openaire +1 more source
Strict analysis of quantum theory has shown that for certain propositions about quantum-mechanical systems some laws of logic lose their validity. This assertion is justified by pointing out that quantum mechanics is an empirically verified theory.
openaire +1 more source
International Journal of Theoretical Physics, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
International Journal of Theoretical Physics, 2000
The paper is a remarkable survey of recent results on concrete (set-representable) quantum logics, which seem to be significant within quantum axiomatics and also other areas of mathematics. Especially various results and open problems concerning compact-like concrete logics (with a natural generalization of compatibility) and measure theory on ...
openaire +2 more sources
The paper is a remarkable survey of recent results on concrete (set-representable) quantum logics, which seem to be significant within quantum axiomatics and also other areas of mathematics. Especially various results and open problems concerning compact-like concrete logics (with a natural generalization of compatibility) and measure theory on ...
openaire +2 more sources
International Journal of Theoretical Physics, 2003
This paper develops a higher-order version of orthomodular logic in terms of type theory. The soundness and completeness theorems are established.
openaire +2 more sources
This paper develops a higher-order version of orthomodular logic in terms of type theory. The soundness and completeness theorems are established.
openaire +2 more sources
Foundations of Physics, 1989
Unified quantum logic based on unified operations of implication is formulated as an axiomatic calculus. Soundness and completeness are demonstrated using standard algebraic techniques. An embedding of quantum logic into a new modal system is carried out and discussed.
openaire +3 more sources
Unified quantum logic based on unified operations of implication is formulated as an axiomatic calculus. Soundness and completeness are demonstrated using standard algebraic techniques. An embedding of quantum logic into a new modal system is carried out and discussed.
openaire +3 more sources
2008
It is shown that quantum logic is a logic in the very same way in which classical logic is a logic. Soundness and completeness of both quantum and classical logics have been proved for novel lattice models that are not orthomodular and therefore cannot be distributive either -as opposed to the standard lattice models that are orthomodular and ...
openaire +1 more source
It is shown that quantum logic is a logic in the very same way in which classical logic is a logic. Soundness and completeness of both quantum and classical logics have been proved for novel lattice models that are not orthomodular and therefore cannot be distributive either -as opposed to the standard lattice models that are orthomodular and ...
openaire +1 more source