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.

Subreducts and Subvarieties of PBZ*--lattices

Ordinal and Horizontal Sums Constructing PBZ*-lattices

Pseudo-Kleene algebras determined by rough sets

Generalized Bosbach and Riečan states based on relative negations in residuated lattices

Pointed Lattice Subreducts of Varieties of Residuated Lattices

Bi-intermediate logics of trees and co-trees

Many subalgebras of $\mathcal{P}(ω)/\mathit{fin}$

Well-rounded sublattices of planar lattices

On a lattice of relational spaces (reducts) for the order of integers

The General Apple Property and Boolean terms in Integral Bounded Residuated Lattice-ordered Commutative Monoids

PBW bases and KLR algebras

Lattices of varieties of plactic-like monoids

On Contextuality and Unsharp Quantum Logic

Bounded distributive lattices with strict implication and weak difference

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator

Submodular functions, generalized permutahedra, conforming preorders, and cointeracting bialgebras

Sparse regular subsets of the reals

Homology of Segre powers of Boolean and subspace lattices

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