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.
The concept of creating a propositional calculus for quantum logic was first outlined in a short section in von Neumann's 1932 work. The need for the new propositional calculus was demonstrated through several proofs. This was in 1936.