En un trabajo complementario de 1936, von Neumann demostró, junto con Garret Birkhoff, que la mecánica cuántica también requiere una lógica sustancialmente diferente de la lógica clásica.