With whom did von Neuman work on a paper in 1936 that introduce quantum logic?
The concept of creating a propositional calculus for quantum logic was first outlined in a short section in von Neumann's 1932 work, but in 1936, the need for the new propositional calculus was demonstrated through several proofs.