Results 11 to 20 of about 20,713 (305)
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
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
A categorical quantum logic [PDF]
Mathematical Structures in Computer Science, 2006 We define a strongly normalising proof-net calculus corresponding to the logic of strongly compact closed categories with biproducts. The calculus is a full and faithful representation of the free strongly compact closed category with biproducts on a given category with an involution.
Samson Abramsky, Ross Duncan
openaire +5 more sources
Fault‐tolerant quantum implementation of conventional decoder logic with enable input
IET Circuits, Devices and Systems, 2021 Decoherence is the greatest obstacle to the physical realization of scalable quantum computer, jeopardises coherent superposition of the qubit, and makes qubit extremely fragile.
Laxmidhar Biswal +2 more
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 Quantum Interpretation of Bunched Logic for Quantum Separation Logic
CoRR, 2021 52 ...
Li Zhou 0013 +4 more
openaire +2 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
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
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
Intuitionistic quantum logic of an n-level system [PDF]
, 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. +19 more
core +1 more source