<human>: Does "In a famous paper of 1936 with Garrett Birkhoff, the first work ever to introduce quantum logics, von Neumann and Birkhoff first proved that quantum mechanics requires a propositional calculus substantially different from all classical logics and rigorously isolated a new algebraic structure for quantum logics." contain the correct answer to "With whom did von Neuman work on a paper in 1936 that introduce quantum logic?"
OPTIONS:
- yes
- no
<bot>: yes