Results 31 to 40 of about 14,291 (316)
Quantum-Inspired Uncertainty Quantification
Reasonable quantification of uncertainty is a major issue of cognitive infocommunications, and logic is a backbone for successful communication. Here, an axiomatic approach to quantum logic, which highlights similarity to and differences to classical ...
Günther Wirsching
doaj +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 ...
Norman D. Megill, Mladen Pavicic
openaire +3 more sources
Speakable in quantum mechanics: babbling on [PDF]
This paper consists of a short version of the derivation of the intuitionistic quantum logic L_QM (which was originally introduced by Caspers, Heunen, Landsman and Spitters).
Ronnie Hermens
doaj +1 more source
On the concreteness of quantum logics [PDF]
The authors take the very conventional view of quantum logic as an orthomodular poset and conduct a very traditional enquiry into its relation to classical Boolean logic. That is, they attempt to find a natural relation between the structure of this orthomodular poset and the classical structure of a subset of sets.
Pavel Pták, John David Maitland Wright
openaire +2 more sources
Inadequacy of Modal Logic in Quantum Settings [PDF]
We test the principles of classical modal logic in fully quantum settings. Modal logic models our reasoning in multi-agent problems, and allows us to solve puzzles like the muddy children paradox.
Nuriya Nurgalieva, Lídia del Rio
doaj +1 more source
An Application of Quantum Logic to Experimental Behavioral Science
In 1933, Kolmogorov synthesized the basic concepts of probability that were in general use at the time into concepts and deductions from a simple set of axioms that said probability was a σ-additive function from a boolean algebra of events into [0, 1 ...
Louis Narens
doaj +1 more source
A quantum gate is realized by optically coupling trapped atoms separated by 60 ...
openaire +4 more sources
Implementation of Grover’s Algorithm & Bernstein-Vazirani Algorithm with IBM Qiskit
Quantum logic gates differ from classical logic gates as the former involves quantum operators. The conventional gates such as AND, OR, NOT etc., are generally classified as classical gates, however, some of the quantum gates are known as Pauli gates ...
Yang-Che Liu, Mei-Feng Liu
doaj +1 more source
Quantum logic and quantum computation [PDF]
37 pages, 13 figures, published in Handbook of Quantum Logic and Quantum Structures: Quantum Structures (Edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann), Elsevier, Amsterdam, 2007, pp.
Pavicic, Mladen, Megill, Norman D.
openaire +2 more sources
Engineering Strategies for 2D Layered Tin Halide Perovskite Field‐Effect Transistors
2D halide perovskites are promising candidates for field‐effect transistor (FET) applications due to their high stability and suppressed ion migration in the presence of bulky organic spacers. This review systematically summarizes the optimization engineering strategies of 2D perovskite FETs and future challenges, which provide guidance for developing ...
Shuanglong Wang +4 more
wiley +1 more source

