I want to know the answer to the following question:
With whom did von Neuman work on a paper in 1936 that introduce quantum logic?
All the background I'm provided with is that "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.". Is that enough to answer the question?
Answer: no