Results 11 to 20 of about 1,783,241 (304)

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, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu   +4 more
openaire   +2 more sources

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   +3 more sources

The Logic of Quantum Programs [PDF]

CoRR, 2004
18 pages, date 2004, presented at the 2nd International Workshop on Quantum Programming Languages, affiliated to LICS ...
Baltag, Alexandru, Smets, Sonja
openaire   +4 more sources

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   +6 more sources

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   +2 more sources

Enhancing Neuromorphic Robustness via Recurrence Resonance: The Role of Shared Weak Attractors in Quantum Logic Networks [PDF]

Biomimetics
Recurrence 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]

Entropy
Artificial 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, Kyoko Nakamura, Kazuto Sasai, Iori Tani, Mayo Kuroki, Alessandro Chiolerio, Andrew Adamatzky, Andrei Khrennikov   +7 more
doaj   +2 more sources

Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain

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   +2 more sources

Structural Entanglement from Interaction-Induced Fixed Points [PDF]

Entropy
We introduce a lattice-theoretic framework for composite information systems in which tensor-like composition and entanglement are defined without presupposing Hilbert spaces or quantum states.
Yukio-Pegio Gunji, Andrei Khrennikov
doaj   +2 more sources

FROM QUANTUM LOGIC TO QUANTUM COMPUTATIONAL LOGIC [PDF]

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