Results 271 to 280 of about 14,291 (316)
Some of the next articles are maybe not open access.
Journal of Philosophical Logic, 1976
This paper is based on a semantic foundation of quantum logic which makes use of dialog-games. In the first part of the paper the dialogic method is introduced and under the conditions of quantum mechanical measurements the rules of a dialog-game about quantum mechanical propositions are established.
openaire +2 more sources
This paper is based on a semantic foundation of quantum logic which makes use of dialog-games. In the first part of the paper the dialogic method is introduced and under the conditions of quantum mechanical measurements the rules of a dialog-game about quantum mechanical propositions are established.
openaire +2 more sources
On the structure of quantum logic
Journal of Symbolic Logic, 1969In the axiomatic development of the logic of nonrelativistic quantum mechanics it is not difficult to set down certain plausible axioms which ensure that the quantum logic of propositions has the structure of an orthomodular poset. This can be done in a number of ways, for example,
openaire +2 more sources
Coupling of quantum logics [PDF]
International Journal of Theoretical Physics, 1983 A tensor product in the category of quantum logics is defined (a quantum logic is, by definition, a couple (L,M), where L is a \(\sigma\)- ortholattice and M is a quite full set of states, i.e., probability measures, on L) and some properties of this tensor product are established.
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 +2 more sources
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 +2 more sources
Quantum measurements and quantum logics
Journal of Mathematical Physics, 1994A quantum logic formulation of quantum measurements is introduced using Boolean powers of orthomodular σ-posets to the description of the coupled system. A comparison with the traditional Hilbert space approach to quantum measurements and a discussion of some important classes of measurements is given.
openaire +3 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 +4 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 +4 more sources
Partial quantum logics and Łukasiewicz’ quantum logic
2004In Chapter 5, we have considered examples of partial algebraic structures, where the basic operations are not always defined. How does one give a semantic characterization for the different forms of quantum logic corresponding, respectively, to the class of all effect algebras, of all orthoalgebras and of all orthomodular posets?
Roberto Giuntini +2 more
openaire +2 more sources
International Journal of Theoretical Physics, 1994
The author claims here that gravitation theory (because it takes `the entire universe into account') cannot allow an observer/observed distinction, and so cannot use `quantum logic'. This claim is unfortunately not further developed but serves as the starting point for investigating a non-Boolean but distributive `quantum logic'. The bulk of this paper,
openaire +2 more sources
The author claims here that gravitation theory (because it takes `the entire universe into account') cannot allow an observer/observed distinction, and so cannot use `quantum logic'. This claim is unfortunately not further developed but serves as the starting point for investigating a non-Boolean but distributive `quantum logic'. The bulk of this paper,
openaire +2 more sources
Characterization of quantum logics
International Journal of Theoretical Physics, 1980The quantum logic approach to axiomatic quantum mechanics is used to analyze the conceptual foundations of the traditional quantum theory. The universal quantum of actionh > 0 is incorporated into the theory by introducing the uncertainty principle, the complementarity principle, and the superposition principle into the framework. A characterization of
openaire +3 more sources
Studia Logica, 1982
The author shows that given a physical theory one can in a unique and natural way identify the inner language and the inner logic of theory. He says that the description of a physical system in terms of a physical theory contains three basic attributes: (i) a set of physical quantities (observables); (ii) a set of states of the considered system; (iii)
openaire +2 more sources
The author shows that given a physical theory one can in a unique and natural way identify the inner language and the inner logic of theory. He says that the description of a physical system in terms of a physical theory contains three basic attributes: (i) a set of physical quantities (observables); (ii) a set of states of the considered system; (iii)
openaire +2 more sources