Results 11 to 20 of about 11,852 (259)
Scalable Quantum Logic Spectroscopy
Physical Review Letters, 2022 In quantum logic spectroscopy (QLS), one species of trapped ion is used as a sensor to detect the state of an otherwise inaccessible ion species. This extends precision measurements to a broader class of atomic and molecular systems for applications like atomic clocks and tests of fundamental physics.
Kaifeng Cui +5 more
openaire +3 more sources
Fibred Coalgebraic Logic and Quantum Protocols [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Motivated by applications in modelling quantum systems using coalgebraic techniques, we introduce a fibred coalgebraic logic. Our approach extends the conventional predicate lifting semantics with additional modalities relating conditions on different ...
Daniel Marsden
doaj +1 more source
Entropy, 2021 This paper investigates the usage of logic and logic programming in the design of smart contracts. Our starting point is the logic-based programming language for smart contracts used in a recently proposed framework of quantum-secured blockchain, called ...
Xin Sun, Piotr Kulicki, Mirek Sopek
doaj +1 more source
A First Step to the Categorical Logic of Quantum Programs
Entropy, 2020 The long-term goal of our research is to develop a powerful quantum logic which is useful in the formal verification of quantum programs and protocols.
Xin Sun, Feifei He
doaj +1 more source
On Multiplicative Linear Logic, Modality and Quantum Circuits [PDF]
Electronic 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
Generalized Rough Sets via Quantum Implications on Quantum Logic
Axioms, 2021 This paper introduces some new concepts of rough approximations via five quantum implications satisfying Birkhoff–von Neumann condition. We first establish rough approximations via Sasaki implication and show the equivalence between distributivity of ...
Songsong Dai
doaj +1 more source
Design of quantum optical experiments with logic artificial intelligence [PDF]
Quantum, 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
Compositional Quantum Logic [PDF]
, 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.
Coecke, B, Heunen, C, Kissinger, A
openaire +3 more sources
Quantum Fredkin and Toffoli gates on a versatile programmable silicon photonic chip
npj Quantum Information, 2022 Quantum logic gates are backbones of quantum information processing (QIP), wherein the typical three-qubit Fredkin and Toffoli gates are essential in quantum computation and communication.
Yuan Li +8 more
doaj +1 more source
Neutrosophic Quantum Theory: Partial Entanglement, Partial Effect of the Observer, and Teleportation [PDF]
Neutrosophic Sets and SystemsQuantum 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