{"id":"arxiv/2603.06736","url":"https://arxiv.org/abs/2603.06736","tags":["cs.LO","cs.CC","math.LO"],"score":0,"title":"Three Fixed-Dimension Satisfiability Semantics for Quantum Logic: Implications and an Explicit Separator","domain":"cs.LO","source":"arxiv","authors":["Joaquim Reizi Higuchi"],"reviews":0,"subject":"cs.LO","summary":"We compare three satisfiability notions for propositional formulas in the language {not, and, or} over a fixed finite-dimensional Hilbert space H=F^d with F in {R, C}. The first is the standard Hilbert-lattice semantics on the subspace lattice L(H), where meet and join are total operations. The second is a global commuting-projector semantics, where all atoms occurring in the formula are interpreted by a single pairwise-commuting projector family. The third is a local partial-Boolean semantics, where binary connectives are defined only on commeasurable pairs and definedness is checked…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-03-06","reactions":{}}