Results 31 to 40 of about 1,783,241 (304)

Compositional Quantum Logic [PDF]

open access: yes, 2013
Quantum logic aims to capture essential quantum mechanical structure in order-theoretic terms. The Achilles' heel of quantum logic is the absence of a canonical description of composite systems, given descriptions of their components. We introduce a framework in which order-theoretic structure comes with a primitive composition operation.
Bob Coecke   +2 more
openaire   +4 more sources

Neutrosophic Quantum Theory: Partial Entanglement, Partial Effect of the Observer, and Teleportation [PDF]

open access: yesNeutrosophic Sets and Systems
Quantum mechanics presents phenomena, such as entanglement and the observer effect, that challenge classical logical frameworks. Traditional binary and even fuzzy logic often prove insufficient in capturing the inherent imprecision, incompleteness, and ...
Florentin Smarandache
doaj   +1 more source

Design of quantum optical experiments with logic artificial intelligence [PDF]

open access: yesQuantum, 2022
Logic Artificial Intelligence (AI) is a subfield of AI where variables can take two defined arguments, True or False, and are arranged in clauses that follow the rules of formal logic.
Alba Cervera-Lierta   +2 more
doaj   +1 more source

On Multiplicative Linear Logic, Modality and Quantum Circuits [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2012
A logical system derived from linear logic and called QMLL is introduced and shown able to capture all unitary quantum circuits. Conversely, any proof is shown to compute, through a concrete GoI interpretation, some quantum circuits.
Ugo Dal Lago, Claudia Faggian
doaj   +1 more source

Intuitionistic quantum logic of an n-level system [PDF]

open access: yes, 2009
A decade ago, Isham and Butterfield proposed a topos theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics.
Landsman, N.P.   +14 more
core   +1 more source

Model-Theoretic Investigations into Consequence Operation (Cn) in Quantum Logics: An Algebraic Approach. [PDF]

open access: yes, 2006
In this paper, we present the fundamentals of the so-called algebraic approach to propositional quantum logics. We define the set of formulae describing quantum reality as a free algebra freely generated by the set of quantum proportional variables.
WILCZEK, Piotr, Piotr Wilczek
core   +1 more source

Classical Logic and Quantum Logic with Multiple and Common Lattice Models

open access: yesAdvances 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

Parametrical T-Gate for Joint Processing of Quantum and Classic Optoelectronic Signals

open access: yesJ, 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

Universal fault-tolerant quantum computing with stabilizer codes

open access: yesPhysical 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]

open access: yesInternational 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

Home - About - Disclaimer - Privacy