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.

The Operation Model of Space Logics on Proposition Objects

Spatial logics with connectedness predicates

Monte Carlo Calculation for the neutron-rich Ca isotopes

The Research Of Logical Operators Based On Rough Connection Degree

A Two-Dimensional Hybrid Logic Of Subset Spaces

An Unified CGA-Based Formal Expression of Spatio-Temporal Topological Relations for Computation and Analysis of Geographic Objects

Toward Conceptual Modeling for Propositional Logic: Propositions as Events

From Conceptual Space to Categorical Space——Logic and the Embodiment of Concept

Problems of Inconsistency and Argumentation Logics

Reasoning about Space: the Modal Way

"Logical Lantern": Analogue of the Square of Opposition for Propositions in V.I. Markin's Universal Language for Traditional Positive Syllogistic Theories

Geometric contexts and applications to logic

Three-valued and four-valued approach to logic programming with negation

Logical Patterns in Space

MODAL STRUCTURES IN GROUPS AND VECTOR SPACES

Logics of polyhedral reachability

Spatial logic of modal mu-calculus and tangled closure operators

Morpho-logic from a Topos Perspective: Application to symbolic AI

From Consequence Operator to Universal Logic: A Survey of General Abstract Logic

Model Logic and Philosophy

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