Results 21 to 30 of about 11,852 (259)
Universal fault-tolerant quantum computing with stabilizer codes
Physical Review Research, 2022 The quantum logic gates used in the design of a quantum computer should be both universal, meaning arbitrary quantum computations can be performed, and fault-tolerant, meaning the gates keep errors from cascading out of control.
Paul Webster +3 more
doaj +1 more source
DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS [PDF]
International Journal of Quantum Information, 2004 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. This way, the evolution of the system becomes part of the logical study. We show how both unitary operations and two-valued
Brunet, Olivier, Jorrand, Philippe
openaire +2 more sources
Classical Logic and Quantum Logic with Multiple and Common Lattice Models
Advances in Mathematical Physics, 2016 We consider a proper propositional quantum logic and show that it has multiple disjoint lattice models, only one of which is an orthomodular lattice (algebra) underlying Hilbert (quantum) space.
Mladen Pavičić
doaj +1 more source
Sequent Calculi for Orthologic with Strict Implication
Bulletin of the Section of Logic, 2022 In this study, new sequent calculi for a minimal quantum logic (\(\bf MQL\)) are discussed that involve an implication. The sequent calculus \(\bf GO\) for \(\bf MQL\) was established by Nishimura, and it is complete with respect to ortho-models (O ...
Tomoaki Kawano
doaj +1 more source
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.
Baltag, A., Smets, S.
openaire +4 more sources
Quantum logic and quantum computation [PDF]
, 2007 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
A Logic for Quantum Register Measurements
Axioms, 2019 We know that quantum logics are the most prominent logical systems associated to the lattices of closed Hilbert subspaces. However, what happen if, following a quantum computing perspective, we want to associate a logic to the process of quantum ...
Andrea Masini, Margherita Zorzi
doaj +1 more source
An Application of Quantum Logic to Experimental Behavioral Science
Quantum Reports, 2021 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
Quantum Logic and Quantum Reconstruction [PDF]
Foundations of Physics, 2015 Quantum logic understood as a reconstruction program had real successes and genuine limitations. This paper offers a synopsis of both and suggests a way of seeing quantum logic in a larger, still thriving context.
openaire +2 more sources
Parametrical T-Gate for Joint Processing of Quantum and Classic Optoelectronic Signals
J, 2023 Unmanned network robotics is a new multidisciplinary field that involves many fields of computer networks, multi-agent systems, control theory, 5G and 6G Internet, computer security, and wireless quantum communications.
Alexey Y. Bykovsky, Nikolay A. Vasiliev
doaj +1 more source