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

arXiv:quant-ph/0007041 · Foundations of Physics

Why the Disjunction in Quantum Logic is Not Classical

Diederik Aerts, Ellie D’Hondt, Liane M. Gabora

Published Sep 1, 2000• 27 citations
arXivHTMLPDF
DOI
10.1023/a:1026457918361

Related papers

Disjunctive Quantum Logic in Dynamic Perspective

Bob Coecke

arXiv:math/0011209•Studia Logica•Jun 1, 2002•3 citations

The Relevance of Quantum Logic in the Domain of Non-Classical Logics

María Luisa Dalla Chiara

Studies in logic and the foundations of mathematics•Jan 1, 1986•2 citations

Classical limit of quantum propositions

Arkady Bolotin

Contrary to classical semantics, the disjunction of two experimental propositions relating to pure states of a quantum system ("quantum propositions" for short) can be true even in the case where neither disjunct is true. This suggests that in such case either both disjuncts are false and so the distributive laws are not applicable to quantum propositions (this inference is accepted in quantum logic) or the disjuncts are not bivalent, i.e., neither true nor false, therefore the principle of bivalence is not applicable to quantum propositions. But, to accept the latter inference, one must explain how quantum propositions become bivalent in the classical limit. This paper shows the emergence of bivalence through the interaction between a quantum system and its environment and compares the environmentally induced bivalence with the classical limit of quantum logic.

arXiv:1810.09606•Oct 23, 2018•0 citations

The Many-Valued Logic of Quantum Mechanics

Jarosław Pykacz

Abstract It is shown that any quantum logic in the Birkhoff - von Neumann sense that possesses an ordering set of probability measures can be isomorphically represented as a particular kind of infinite-valued Łukasiewicz logic with partially defined conjunction and disjunction. It is argued that such non-classical features of BvN quantum logic as lack of distributivity or validity of the orthomodular law follow from properties of Łukasiewicz conjunction and disjunction.

International Journal of Theoretical Physics•Apr 10, 2019•3 citations

Quantum Disjunctive Facts

James H. McGrath

To the memory of John D. Trimmer This paper assesses the impact of disjunctive facts on the quantum logic read off procedure. The purpose of the procedure is to transfer a significant quantum structure to a set of propositions; its first step is an attempt to discover that structure. Here I propose that disjunctive facts as traditionally conceived have blocked the procedure at its first step and have therefore subverted the best-known attempts to read off quantum logic. Recently however Allen Stairs has proposed a view of disjunctive facts which re-establishes the possibility of reading off quantum logic. Both the traditional conception and Stairs’ revision of disjunctive facts are interesting in their own right, independent of quantum propositional logic. Too many things are called ‘quantum logic’. The term is disentangled and notation is fixed in this preliminary step which relies on basic lattice theory.

PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association•Jan 1, 1986•2 citations

The Place of Quantum Logic in the Landscape of Non-Classical Logics

Sonja Smets

Finds and Results from the Swedish Cyprus Expedition: A Gender Perspective at the Medelhavsmuseet•Jan 1, 2003•0 citations
Contrary to classical semantics, the disjunction of two experimental propositions relating to pure states of a quantum system ("quantum propositions" for short) can be true even in the case where neither disjunct is true. This suggests that in such case either both disjuncts are false and so the distributive laws are not applicable to quantum propositions (this inference is accepted in quantum logic) or the disjuncts are not bivalent, i.e., neither true nor false, therefore the principle of bivalence is not applicable to quantum propositions. But, to accept the latter inference, one must explain how quantum propositions become bivalent in the classical limit. This paper shows the emergence of bivalence through the interaction between a quantum system and its environment and compares the environmentally induced bivalence with the classical limit of quantum logic.
To the memory of John D. Trimmer This paper assesses the impact of disjunctive facts on the quantum logic read off procedure. The purpose of the procedure is to transfer a significant quantum structure to a set of propositions; its first step is an attempt to discover that structure. Here I propose that disjunctive facts as traditionally conceived have blocked the procedure at its first step and have therefore subverted the best-known attempts to read off quantum logic. Recently however Allen Stairs has proposed a view of disjunctive facts which re-establishes the possibility of reading off quantum logic. Both the traditional conception and Stairs’ revision of disjunctive facts are interesting in their own right, independent of quantum propositional logic. Too many things are called ‘quantum logic’. The term is disentangled and notation is fixed in this preliminary step which relies on basic lattice theory.