Results 271 to 280 of about 189,987 (323)
Some of the next articles are maybe not open access.
LOGICS FROM QUANTUM COMPUTATION
International Journal of Quantum Information, 2005The theory of logical gates in quantum computation has suggested new forms of quantum logic, called quantum computational logics. The basic semantic idea is the following: the meaning of a sentence is identified with a quregister (a system of qubits) or, more generally, with a mixture of quregisters (called qumix). In this framework, any sentence α of
DALLA CHIARA ML +2 more
openaire +2 more sources
Journal of Philosophical Logic, 2003
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
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