Quantum logic as a dynamic logic [PDF]
Synthese, 2010 The authors argue that quantum mechanics does not require abandoning the principles of classical logic. Their argument is based on combining a formal semantic approach understood as an investigation of ``the logic of yes-no experiments'', following their papers [Int. J. Theor. Phys. 44, No. 12, 2267--2282 (2005; Zbl 1110.81013); Stud. Log. 89, No.
Alexandru Baltag, Sonja Smets
openaire +5 more sources
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic [PDF]
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021 We propose a model of the substructural logic of Bunched Implications (BI) that is suitable for reasoning about quantum states. In our model, the separating conjunction of BI describes separable quantum states. We develop a program logic where pre- and post-conditions are BI formulas describing quantum states---the program logic can be seen as a ...
Li Zhou 0013 +4 more
openaire +2 more sources
Unconditionally teleported quantum gates between remote solid-state qubit registers [PDF]
Nature CommunicationsQuantum networks connecting quantum processing nodes via photonic links enable distributed and modular quantum computation. In this framework, quantum gates between remote qubits can be realized using quantum teleportation protocols.
Mariagrazia Iuliano +5 more
doaj +2 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
Interplay Between Vertical and Horizontal Schemes of Computation: From Bayesian Inference to Quantum Logic via Gluing Boolean Algebras [PDF]
EntropyArtificial intelligence is typically formulated as an information-processing system composed of artificial neurons, where computation is understood as recursive operations connecting inputs and outputs.
Yukio-Pegio Gunji +7 more
doaj +2 more sources
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
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
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
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
Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic
Applied Sciences, 2022 This paper provides an overview of quantum dynamic logics, showing how they have been designed and illustrating how these logics can be applied to verify the correctness of quantum protocols.
Alexandru Baltag, Sonja Smets
doaj +1 more source