English
Related papers

Related papers: Quantum Computational Logics. A Survey

200 papers

As it is well known, quantum entanglement is one of the most important features of quantum computing, as it leads to massive quantum parallelism, hence to exponential computational speed-up. In a sense, quantum entanglement is considered as…

Quantum Physics · Physics 2008-11-26 Paola Zizzi

The term quantum neural computing indicates a unity in the functioning of the brain. It assumes that the neural structures perform classical processing and that the virtual particles associated with the dynamical states of the structures…

Neural and Evolutionary Computing · Computer Science 2013-03-15 Subhash Kak

Case-Based Reasoning (CBR) is an artificial intelligence approach to problem-solving with a good record of success. This article proposes using Quantum Computing to improve some of the key processes of CBR, such that a Quantum Case-Based…

Artificial Intelligence · Computer Science 2022-01-12 Parfait Atchade-Adelomou , Daniel Casado-Fauli , Elisabet Golobardes-Ribe , Xavier Vilasis-Cardona

A universal quantum computing scheme, with a universal set of logical gates, is proposed based on networks of 1D quantum systems. The encoding of information is in terms of universal features of gapped phases, for which effective field…

Quantum Physics · Physics 2019-07-24 Dong-Sheng Wang

The nature of quantum computation is discussed. It is argued that, in terms of the amount of information manipulated in a given time, quantum and classical computation are equally efficient. Quantum superposition does not permit quantum…

Quantum Physics · Physics 2014-06-10 A. M. Steane

A quantum set is defined to be simply a set of nonzero finite-dimensional Hilbert spaces. Together with binary relations, essentially the quantum relations of Weaver, quantum sets form a dagger compact category. Functions between quantum…

Operator Algebras · Mathematics 2021-10-13 Andre Kornell

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. The…

Logic in Computer Science · Computer Science 2012-10-03 Ugo Dal Lago , Claudia Faggian

Traditional cognitive science rests on a foundation of classical logic and probability theory. This foundation has been seriously challenged by several findings in experimental psychology on human decision making. Meanwhile, the formalism…

Artificial Intelligence · Computer Science 2015-12-31 Diederik Aerts , Sandro Sozzo , Tomas Veloz

The fundamental algebraic concepts of quantum mechanics, as expressed by many authors, are reviewed and translated into the framework of the relatively new non-distributive system of Boolean fractions (also called conditional events or…

Quantum Physics · Physics 2007-05-23 Philip G. Calabrese

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…

Quantum Physics · Physics 2013-05-10 Bob Coecke , Chris Heunen , Aleks Kissinger

Quantum theory (QT) has been confirmed by numerous experiments, yet we still cannot fully grasp the meaning of the theory. As a consequence, the quantum world appears to us paradoxical. Here we shed new light on QT by being based on two…

Quantum Physics · Physics 2019-05-21 Alessio Benavoli , Alessandro Facchini , Marco Zaffalon

The main goal of this master's thesis is to introduce Quantum Natural Language Processing (QNLP) in a way understandable by both the NLP engineer and the quantum computing practitioner. QNLP is a recent application of quantum computing that…

Computation and Language · Computer Science 2022-02-25 Shervin Le Du , Senaida Hernández Santana , Giannicola Scarpa

In this work we study the convex set of quantum states from a quantum logical point of view. We consider an algebraic structure based on the convex subsets of this set. The relationship of this algebraic structure with the lattice of…

Quantum Physics · Physics 2015-05-19 F. Holik , C. Massri , N. Ciancaglini

Presented is a topological representation of quantum logic that views entangled qubit spacetime histories (or qubit world lines) as a generalized braid, referred to as a superbraid. The crossing of world lines is purely quantum in nature,…

Quantum Physics · Physics 2015-05-13 Jeffrey Yepez

Quantum programs today are written at a low level of abstraction - quantum circuits akin to assembly languages - and the unitary parts of even advanced quantum programming languages essentially function as circuit description languages.…

Programming Languages · Computer Science 2025-12-02 Chris Heunen , Louis Lemonnier , Christopher McNally , Alex Rice

Quantum computing exploits quantum phenomena such as superposition and entanglement to realize a form of parallelism that is not available to traditional computing. It offers the potential of significant computational speed-ups in quantum…

A modal logic based on quantum logic is formalized in its simplest possible form. Specifically, a relational semantics and a sequent calculus are provided, and the soundness and the completeness theorems connecting both notions are…

Logic in Computer Science · Computer Science 2025-11-14 Kenji Tokuo

A quantum computer promises efficient processing of certain computational tasks that are intractable with classical computer technology. While basic principles of a quantum computer have been demonstrated in the laboratory, scalability of…

Quantum Physics · Physics 2007-05-23 Robert Raussendorf , Hans J. Briegel

Logical propositions with the fuzzy modality "Probably" are shown to obey an uncertainty principle very similar to that of Quantum Optics. In the case of such propositions, the partial truth values are in fact probabilities. The…

Quantum Physics · Physics 2015-06-03 Paola Zizzi

Scalable modern-time fault-tolerant quantum computation and quantum communication in a network employ a large number of physical qubits. For example, IBM is reported to have made a 127-qubit quantum computer. Unlike classical computation,…

Quantum Physics · Physics 2023-06-23 Sooryansh Asthana , V. Ravishankar