多値論理との関係
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/25 04:07 UTC 版)
クルト・ゲーデルは1932年に直観主義論理が多値論理ではないことを証明した。(#ハイティング代数意味論は直観主義論理の"無限多値論理"としての解釈の一種と見られる。)
※この「多値論理との関係」の解説は、「直観主義論理」の解説の一部です。
「多値論理との関係」を含む「直観主義論理」の記事については、「直観主義論理」の概要を参照ください。
- 多値論理との関係のページへのリンク