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.
Η ιδέα της δημιουργίας ενός προτασιακού λογισμού για την κβαντική λογική ήταν η πρώτη που περιγράφεται σε ένα μικρό τμήμα το 1932 το έργο του φον Νόιμαν.Αλλά το 1936, η ανάγκη για το νέο προτασιακό λογισμό αποδείχθηκε μέσω διάφορων αποδείξεων.