Piron–Solèr theorem: Hilbert-space QM reconstructed from propositional-lattice axioms (quantum)

Quantum application of L0 law-of-non-contradiction and L0 soundness. Piron's 1964 representation theorem (strengthened by Solèr 1995) shows that every irreducible propositional-calculus lattice L that is (a) orthomodular, (b) atomic, (c)…