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

Compatibility in quantum structures

Josef Tkadlec

Published Jan 1, 2004• 0 citations
OpenAlex

Abstract

Compatibilty play an important role in the axiomatics of quantum structures and has been studied extensively. We present some recent results concerning compatibility in quantum structures, their consequences to the axiomatics and their relationship to previous achievements. We show, e.g., that a residuated orthomodular lattice is a Boolean algebra.

Related papers

Orthomodularity, compatibility and commutativity in physical theories

А. А. Иванов

A physical interpretation of the orthomodularity in a lattice-theoretical axiomatics is given in terms of the compatibility relations defined in the paper. A connection between compatibility and commutativity has also been established

•Mar 20, 1991•0 citations

Logique quantique et intrication

Pierre Uzan

Due to the failure of the classical principles of bivalence and verifunctionality, the logic of experimental propositions relative to quantum systems cannot be interpreted in Boolean algebras. However, we cannot say neither that this logic is captured by orthomodular lattices, as claimed by many authors along the line of Birkhoff's and von Neumann's standard approach. For the alleged violation of distributivity is based on the possibility of combining statements relative to complementary contexts, which does not refer to any experience and, consequently, has no meaning. Indeed, quantum logic should be interpreted in partial, transitive Boolean algebras whose compatibility relation limits the application of the connectives within each of its Boolean sub-algebras, which refer to partial, classical descriptions. Moreover, this approach of quantum logic makes it possible to deal with composite systems, which was not possible to do within the standard approach, and then to deal with the fundamental notion of quantum entanglement. The latter notion can be represented by a series of axioms of the object language that restrict the set of experimental statements bearing on a composite system, while its close link to the notion of complementarity can be expressed in the metalanguage.

Logos & Episteme•Jan 1, 2014•0 citations

Concrete quantum logics with generalised compatibility

Josef Tkadlec

We present three results stating when a concrete (=set-representable) quantum logic with covering properties (generalization of compatibility) has to be a Boolean algebra. These results complete and generalize some previous results [3, 5] and answer partiallz a question posed in [2].

Mathematica Bohemica•Jan 1, 1998•1 citation

Coreflections in Algebraic Quantum Logic

Bart Jacobs, Jorik Mandemaker

Various generalizations of Boolean algebras are being studied in algebraic quantum logic, including orthomodular lattices, orthomodular po-sets, orthoalgebras and effect algebras. This paper contains a systematic study of the structure in and between categories of such algebras. It does so via a combination of totalization (of partially defined operations) and transfer of structure via coreflections.

Foundations of Physics•May 9, 2012•38 citations

States and Boolean Algebra

Nabila Nassiief Mikhaeel, Basim Samir Labib

We investigate subadditive measures on orthomodular lattices. We show as the main result that the Boolean algebra, the special metric orthomodular lattice and the orthomodular lattice which is unital with respect to subadditive states are equivalent. This result may find an application in the foundation of quantum theories and mathematical logic.

Algebra Colloquium•Dec 1, 2008•0 citations

Sequential method in quantum logic

Hirokazu Nishimura

Since Birkhoff and von Neumann [2] a new area of logical investigation has grown up under the name of quantum logic. However it seems to me that many authors have been inclined to discuss algebraic semantics as such (mainly lattices of a certain kind) almost directly without presenting any axiomatic system, far from developing any proof theory of quantum logic. See, e.g., Gunson [9], Jauch [10], Varadarajan [15], Zeirler [16], etc. In this sense many works presented under the name of quantum logic are algebraic in essence rather than genuinely logical, though it is absurd to doubt the close relationship between algebraic and logical study on quantum mechanics. The main purpose of this paper is to alter this situation by presenting an axiomatization of quantum logic as natural and as elegant as possible, which further proof-theoretical study is to be based on. It is true that several axiomatizations of quantum logic are present now. Several authors have investigated the so-called material implication α → β ( = ¬α∨(α ∧ β)) very closely with due regard to its importance. See, e.g., Finch [5], Piziak [11], etc. Indeed material implication plays a predominant role in any axiomatization of a logic in Hilbert-style. Clark [4] has presented an axiomatization of quantum logic with negation ¬ and material implication → as primitive connectives. In this paper we do not follow this approach. First of all, this approach is greatly complicated because orthomodular lattices are only locally distributive.

Journal of Symbolic Logic•Jun 1, 1980•52 citations
Compatibilty play an important role in the axiomatics of quantum structures and has been studied extensively. We present some recent results concerning compatibility in quantum structures, their consequences to the axiomatics and their relationship to previous achievements. We show, e.g., that a residuated orthomodular lattice is a Boolean algebra.
Due to the failure of the classical principles of bivalence and verifunctionality, the logic of experimental propositions relative to quantum systems cannot be interpreted in Boolean algebras. However, we cannot say neither that this logic is captured by orthomodular lattices, as claimed by many authors along the line of Birkhoff's and von Neumann's standard approach. For the alleged violation of distributivity is based on the possibility of combining statements relative to complementary contexts, which does not refer to any experience and, consequently, has no meaning. Indeed, quantum logic should be interpreted in partial, transitive Boolean algebras whose compatibility relation limits the application of the connectives within each of its Boolean sub-algebras, which refer to partial, classical descriptions. Moreover, this approach of quantum logic makes it possible to deal with composite systems, which was not possible to do within the standard approach, and then to deal with the fundamental notion of quantum entanglement. The latter notion can be represented by a series of axioms of the object language that restrict the set of experimental statements bearing on a composite system, while its close link to the notion of complementarity can be expressed in the metalanguage.
Since Birkhoff and von Neumann [2] a new area of logical investigation has grown up under the name of quantum logic. However it seems to me that many authors have been inclined to discuss algebraic semantics as such (mainly lattices of a certain kind) almost directly without presenting any axiomatic system, far from developing any proof theory of quantum logic. See, e.g., Gunson [9], Jauch [10], Varadarajan [15], Zeirler [16], etc. In this sense many works presented under the name of quantum logic are algebraic in essence rather than genuinely logical, though it is absurd to doubt the close relationship between algebraic and logical study on quantum mechanics. The main purpose of this paper is to alter this situation by presenting an axiomatization of quantum logic as natural and as elegant as possible, which further proof-theoretical study is to be based on. It is true that several axiomatizations of quantum logic are present now. Several authors have investigated the so-called material implication α → β ( = ¬α∨(α ∧ β)) very closely with due regard to its importance. See, e.g., Finch [5], Piziak [11], etc. Indeed material implication plays a predominant role in any axiomatization of a logic in Hilbert-style. Clark [4] has presented an axiomatization of quantum logic with negation ¬ and material implication → as primitive connectives. In this paper we do not follow this approach. First of all, this approach is greatly complicated because orthomodular lattices are only locally distributive.