 There was a considerable history of “quantum logics” before Reichenbach’s work (see the entry on  quantum logic).  Martin Strauss had published a theory similar in spirit, but not in detail, to Kochen and Speckers’ partial Boolean algebras (which appeared only thirty years later; see the entry on the  Kochen-Specker theorem),  characterized by the fact that propositional connectives were allowed only among simultaneously “verifiable” propositions. Reichenbach objects that some quantum mechanical propositions whose logical form contains no propositional operators may be unverifiable. Paulette Fevrier had also introduced a three-valued logic, to which Reichenbach makes a similar objection. Strikingly absent is any reference to Birkhoff and von Neumann’s 1936 paper on the logical structure of quantum mechanics, which introduces a logical structure for orthocomplemented lattices and projective geometries. We can scarcely believe Reichenbach did not know of it and the neglect is difficult to explain. Reichenbach seems to know of everything else, and he was in correspondence with Bargmann at the Institute for Advanced Study. Reichenbach cites von Neumann’s Mathematical Foundations of Quantum Mechanics (1932), but only with regard to von Neumann’s no hidden variable theorem (see the entry on  quantum logic  and the section on the measurement problem in the entry on  philosophical issues in quantum theory).