Three Fixed-Dimension Satisfiability Semantics for Quantum Logic: Implications and an Explicit Separator

Joaquim Reizi Higuchi

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…