Abstract:The failure of distributivity in quantum logic is motivated by the principle of quantum superposition. However, this principle can be encoded differently, i.e., in different logico-algebraic objects. As a result, the logic of experimental quantum propositions might have various semantics. For example, it might have either a total semantics or a partial semantics (in which the valuation relation—i.e., a mapping from the set of atomic propositions to the set of two objects, 1 and 0—is not total), or a many-valued semantics (in which the gap between 1 and 0 is completed with truth degrees). Consequently, closed linear subspaces of the Hilbert space representing experimental quantum propositions may be organized differently. For instance, they could be organized in the structure of a Hilbert lattice (or its generalizations) identified with the bivalent semantics of quantum logic or in a structure identified with a non-bivalent semantics. On the other hand, one can only verify—at the same time—propositions represented by the closed linear subspaces corresponding to mutually commuting projection operators. This implies that to decide which semantics is proper—bivalent or non-bivalent—is not possible experimentally. Nevertheless, the latter allows simplification of certain no-go theorems in the foundation of quantum mechanics. In the present paper, the Kochen–Specker theorem asserting the impossibility to interpret, within the orthodox quantum formalism, projection operators as definite {0,1}documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$${0,1}$$end{document}-valued (pre-existent) properties, is taken as an example. This paper demonstrates that within the algebraic structure identified with supervaluationism (the form of a partial, non-bivalent semantics), the statement of this theorem gets deduced trivially.

Atom graph, partial Boolean algebra and quantum contextuality

Graph structure of quantum mechanics

Event-based contextuality theory

An algebraic characterisation of Kochen-Specker contextuality

An abstract structure determines the contextuality degree of observable-based Kochen-Specker proofs

Revisiting Quantum Contextuality in an Algebraic Framework

Quantum Interpretation of Semantic Paradox: Contextuality and Superposition

Exploring Quantum Contextuality with the Quantum Moebius-Escher-Penrose hypergraph

A structure theorem for generalized-noncontextual ontological models

Foundations of Quantum Contextual Topos: Integrating Modality and Topos Theory in Quantum Logic

Algebraic structures identified with bivalent and non-bivalent semantics of experimental quantum propositions

Quantum logics close to Boolean algebras

Experimental Test of Quantum Correlations from Platonic Graphs

Non-Kochen-Specker Contextuality

Logical Characterization of Contextual Hidden-Variable Theories based on Quantum Set Theory

Experimental Observation of Quantum Contextuality Beyond Bell Nonlocality

Greenberger-Horne-Zeilinger Paradoxes from Qudit Graph States

On Contextuality and Unsharp Quantum Logic

On G.Birkhoff and J.von Neumann's Qnantum Logic

Optical Scheme to Demonstrate State-Independent Quantum Contextuality

Kirkwood-Dirac representations beyond quantum states (and their relation to noncontextuality)