Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

FROM QUANTUM LOGIC TO QUANTUM COMPUTATIONAL LOGIC

Michele Caponigro, Stefano Mancini

Published Jan 1, 2006• 0 citations
OpenAlex

Abstract

We overview the main concepts of quantum logic ranging from the orthodox formulation to the quantum computational aspects.

Related papers

Basic definitions of quantum logic

Hafiz Md. Hasan Babu

Institute of Physics eBooks•May 1, 2020•0 citations

Probing into the Relating Problems between Restriction Logic and Computer Science

Xueming Wang

Restriction logic,a rising field,is closely related to computer development.This mainly reflects in two aspects of connotation intelligence computer and quantum computer.The orthodox mathematical logic is not suitable for the need of intelligence computer and quantum computer,but restriction logic supplies it with a new theoretical foundation.

Journal of Bijie University•Jan 1, 2007•0 citations

La función de la lógica clásica en la llamada "lógica cuántica"

Carlos Lungarzo

The purpose of this paper is to prove that the construction of a quantum logic is a task of specific interest for non-classical logic, but that it is relevant neither to the methodology of quantum mechanics nor to the formalisation of the alternative yes-no process. The main argument is that quantum structures (for example, orthocomplemented partially ordered sets, orthomodular lattices and partial algebras) are not systems of logic proper, but rather are perfectly formalizable structures in classical logic. In § 1, the orthodox formulation of Jauch and Piron are analyzed. I affirm that the objections made by these authors against “quantum logic” are not eliminated by the introduction of a conditional in the lattice structures, since the true reason why quantum “logic” is not really logic lies in its formulation, which is not that of a propositional system, but rather that of a specific theory whose model is these lattices. It is argued that the collection of the properties satisfied by certain objects of a structure does not justify their presentation as purely logical properties, nor does the presence of certain operations of the least upper bound and greatest lower bound permit us to call symbols introduced by analogy in propositionaI logic “connectives”. In any case, if that formalization is indeed possible, it does not imply the adoption of a new logic as a formal instrument for quantum mechanics. In § 2, aspects of quantum theories which are especially semantic in nature are analyzed. I agree with van Fraassen’s statement in the sense that that semantic formulation makes specific concepts of the theory clearer, but it does not attempt to construct its own logic. I deduce that it is non-classical logic which can actually take advantage of quantum semantics, as a model which, eventually, could throw light on the metalogical properties of certain special propositional systems. Finally, by using Benioff’s profound set theory analysis, I advance the hypothesis that classical logic is possibly the only one that can account for the richness of the meanings that appear in quantum mechanics.[Summary by Carlos Lungarzo]

Crítica (México D F En línea)•Nov 7, 1977•0 citations

Quantum logic

Hafiz Md. Hasan Babu

The book starts with some background and preliminary studies on quantum logic and some characteristics, as well as the evolution of quantum computers, which are discussed in this chapter.

Institute of Physics eBooks•May 1, 2020•0 citations

Is Quantum Logic a Logic?

Mladen Pavičić, Norman D. Megill

arXiv:0812.2698•Elsevier eBooks•Jan 1, 2009•21 citations

Quantum Structure in Cognition Origins, Developments, Successes, and Expectations

Diederik Aerts, Sandro Sozzo

The authors provide an overview of the results they have obtained over the last decade on the identification of quantum structures in cognition and, more specifically, in the formalization and representation of natural concepts. They firstly discuss the quantum foundational reasons that led them to investigate the mechanisms of formation and combination of concepts in human reasoning, starting from the empirically observed deviations from classical, logical, and probabilistic structures. They then develop their quantum-theoretic perspective in Fock space which allows successful modeling of various sets of cognitive experiments collected by different scientists, including themselves. In addition, they formulate a unified explanatory hypothesis for the presence of quantum structures in cognitive processes, and discuss their recent discovery of further quantum aspects in concept combinations, namely, ‘entanglement’ and ‘indistinguishability.’ They finally illustrate the outlook for future research.

arXiv:1503.02994•Palgrave Macmillan UK eBooks•Jan 1, 2017•8 citations
The purpose of this paper is to prove that the construction of a quantum logic is a task of specific interest for non-classical logic, but that it is relevant neither to the methodology of quantum mechanics nor to the formalisation of the alternative yes-no process. The main argument is that quantum structures (for example, orthocomplemented partially ordered sets, orthomodular lattices and partial algebras) are not systems of logic proper, but rather are perfectly formalizable structures in classical logic. In § 1, the orthodox formulation of Jauch and Piron are analyzed. I affirm that the objections made by these authors against “quantum logic” are not eliminated by the introduction of a conditional in the lattice structures, since the true reason why quantum “logic” is not really logic lies in its formulation, which is not that of a propositional system, but rather that of a specific theory whose model is these lattices. It is argued that the collection of the properties satisfied by certain objects of a structure does not justify their presentation as purely logical properties, nor does the presence of certain operations of the least upper bound and greatest lower bound permit us to call symbols introduced by analogy in propositionaI logic “connectives”. In any case, if that formalization is indeed possible, it does not imply the adoption of a new logic as a formal instrument for quantum mechanics. In § 2, aspects of quantum theories which are especially semantic in nature are analyzed. I agree with van Fraassen’s statement in the sense that that semantic formulation makes specific concepts of the theory clearer, but it does not attempt to construct its own logic. I deduce that it is non-classical logic which can actually take advantage of quantum semantics, as a model which, eventually, could throw light on the metalogical properties of certain special propositional systems. Finally, by using Benioff’s profound set theory analysis, I advance the hypothesis that classical logic is possibly the only one that can account for the richness of the meanings that appear in quantum mechanics.[Summary by Carlos Lungarzo]
The authors provide an overview of the results they have obtained over the last decade on the identification of quantum structures in cognition and, more specifically, in the formalization and representation of natural concepts. They firstly discuss the quantum foundational reasons that led them to investigate the mechanisms of formation and combination of concepts in human reasoning, starting from the empirically observed deviations from classical, logical, and probabilistic structures. They then develop their quantum-theoretic perspective in Fock space which allows successful modeling of various sets of cognitive experiments collected by different scientists, including themselves. In addition, they formulate a unified explanatory hypothesis for the presence of quantum structures in cognitive processes, and discuss their recent discovery of further quantum aspects in concept combinations, namely, ‘entanglement’ and ‘indistinguishability.’ They finally illustrate the outlook for future research.