量子力学
フォン・ノイマンらによる量子力学の形式化(量子力学の数学的基礎)に関連して、「観測」を命題とみなした量子論理もある。「観測」の性質を反映し、古典論理の法則のうち分配律が成り立たないなどの点で違いがある。