量子論理

量子論理（りょうしろんり、quantum logic）とは、量子論において見られる現象と相似するような形式論理の体系で、分配律が成り立たない無限多値の論理である。とジョン・フォン・ノイマンの1936年の論文に始まり、1960年代に直交モジュラー束（orthomodular lattice）の研究と並行して多くの研究成果が出された。