Von Neuman đã làm việc với ai trên một bài báo giới thiệu logic lượng tử vào năm 1936?
Khái niệm tạo ra phép tính mệnh đề cho logic lượng tử lần đầu tiên được nêu trong một phần ngắn trong tác phẩm của von Neumann năm 1932, nhưng vào năm 1936, sự cần thiết của phép tính mệnh đề mới đã được chứng minh qua một số bằng chứng.