Results 1 to 10 of about 188,624 (267)
Speakable in quantum mechanics: babbling on [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 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 +4 more sources
Dynamic Quantum Logic for Quantum Programs [PDF]
International Journal of Quantum Information, 2003 We present a way to apply quantum logic to the study of quantum programs. This is made possible by using an extension of the usual propositional language in order to make transformations performed on the system appear explicitly.
Brunet, Olivier, Jorrand, Philippe
core +3 more sources
Enhancing Neuromorphic Robustness via Recurrence Resonance: The Role of Shared Weak Attractors in Quantum Logic Networks [PDF]
BiomimeticsRecurrence resonance, a phenomenon that enhances system computational capability by exploiting noise to amplify hidden attractors, holds significant potential for applications such as edge computing and neuromorphic computing.
Yu Huang, Yukio-Pegio Gunji
doaj +2 more sources
Quantum Logic Spectroscopy with Ions in Thermal Motion [PDF]
Physical Review X, 2020 A mixed-species geometric phase gate has been proposed for implementing quantum logic spectroscopy on trapped ions, which combines probe and information transfer from the spectroscopy to the logic ion in a single pulse.
D. Kienzler +6 more
doaj +2 more sources
Foundations of Physics, 2014 It is shown how all the major conceptual difficulties of standard (textbook) quantum mechanics, including the two measurement problems and the (supposed) nonlocality that conflicts with special relativity, are resolved in the consistent or decoherent ...
Griffiths, Robert B.
core +4 more sources
FROM QUANTUM LOGIC TO QUANTUM COMPUTATIONAL LOGIC
TASK Quarterly, 2006 We overview the main concepts of quantum logic ranging from the orthodox formulation to the quantum computational aspects.
MICHELE CAPONIGRO, STEFANO MANCINI
doaj +1 more source
Editorial for the Special Issue on Magnetic and Spin Devices
Micromachines, 2022 As scaling of semiconductor devices displays signs of saturation, the focus of research in microelectronics shifts towards finding new computing paradigms based on novel physical principles [...]
Viktor Sverdlov, Nuttachai Jutong
doaj +1 more source
Quantum Uncertainties and Holism Seem to Render Irrelevant Qudit-Semantics
Entropy, 2021 We consider a semantics based on the peculiar holistic features of the quantum formalism. Any formula of the language gives rise to a quantum circuit that transforms the density operator associated to the formula into the density operator associated to ...
Roberto Leporini
doaj +1 more source
Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical, intuitionistic, and ...
Yoshihiro Maruyama
doaj +1 more source
From Boolean Valued Analysis to Quantum Set Theory: Mathematical Worldview of Gaisi Takeuti
Mathematics, 2021 Gaisi Takeuti introduced Boolean valued analysis around 1974 to provide systematic applications of the Boolean valued models of set theory to analysis. Later, his methods were further developed by his followers, leading to solving several open problems ...
Masanao Ozawa
doaj +1 more source