Results 211 to 220 of about 11,852 (259)
Some of the next articles are maybe not open access.
Product Łukasiewicz Quantum Logic
International Journal of Theoretical Physics, 2010zbMATH Open Web Interface contents unavailable due to conflicting licenses.
BERTINI, Cesarino, LEPORINI, Roberto
openaire +3 more sources
PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association, 1974
One can and often does use the word ‘logic’ in a variety of metaphorical ways, speaking of “the logic of the situation”, “the logic of events”, “the logic of history”, and so on. No harm is done, so long as one realizes that these usages are metaphorical, and should not be given any deeper significance – at least without extensive discussion of the ...
openaire +1 more source
One can and often does use the word ‘logic’ in a variety of metaphorical ways, speaking of “the logic of the situation”, “the logic of events”, “the logic of history”, and so on. No harm is done, so long as one realizes that these usages are metaphorical, and should not be given any deeper significance – at least without extensive discussion of the ...
openaire +1 more source
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
International Journal of Theoretical Physics, 2003
In [\textit{G. Cattaneo, M. Dalla Chiara, R. Giuntini} and \textit{R. Leporini}, An unsharp logic from quantum computation. Int. J. Theor. Phys. (in press)], the authors developed a new form of quantum logic (called \textit{quantum computational logic}) based on the theory of quantum computation.
openaire +2 more sources
In [\textit{G. Cattaneo, M. Dalla Chiara, R. Giuntini} and \textit{R. Leporini}, An unsharp logic from quantum computation. Int. J. Theor. Phys. (in press)], the authors developed a new form of quantum logic (called \textit{quantum computational logic}) based on the theory of quantum computation.
openaire +2 more sources
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
Foundations of Physics, 1984
The status and justification of quantum logic are reviewed. On the basis of several independent arguments it is concluded that it cannot be a logic in the philosophical sense of a general theory concerning the structure of valid inferences. Taken as a calculus for combining quantum-mechanical propositions, it leaves a number of significant aspects of ...
openaire +1 more source
The status and justification of quantum logic are reviewed. On the basis of several independent arguments it is concluded that it cannot be a logic in the philosophical sense of a general theory concerning the structure of valid inferences. Taken as a calculus for combining quantum-mechanical propositions, it leaves a number of significant aspects of ...
openaire +1 more source
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
American Journal of Physics, 1983
A discussion of quantum logic is presented. An example, drawn from elementary quantum mechanics, is used to illustrate the failure of the classical distributive law which is quantum logic’s most singular feature. Furthermore, an elaboration and explanation of an existing analog suitable for classroom demonstration is also presented.
Carl G. Adler, James F. Wirth
openaire +1 more source
A discussion of quantum logic is presented. An example, drawn from elementary quantum mechanics, is used to illustrate the failure of the classical distributive law which is quantum logic’s most singular feature. Furthermore, an elaboration and explanation of an existing analog suitable for classroom demonstration is also presented.
Carl G. Adler, James F. Wirth
openaire +1 more source
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?
M. Dalla Chiara +2 more
openaire +1 more source
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