Results 11 to 20 of about 189,987 (323)
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
A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic [PDF]
International Journal of Mathematics and Mathematical Sciences, 2012 Morphological operators are generalized to lattices as adjunction pairs (Serra, 1984; Ronse, 1990; Heijmans and Ronse, 1990; Heijmans, 1994). In particular, morphology for set lattices is applied to analyze logics through Kripke semantics (Bloch, 2002 ...
Mitsuhiko Fujio
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
Towards Quantum Computational Logics
International Journal of Theoretical Physics, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Antonio Ledda, Giuseppe Sergioli
openalex +4 more sources
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