古典論理、直観主義論理との関連
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/25 03:30 UTC 版)
「多値論理」の記事における「古典論理、直観主義論理との関連」の解説
古典論理は真理値集合を完備ブール代数（cBa - complete Boole algebra）とするものであり、古典的には2値であるが、現代的な数理論理・形式論理の観点からは必ずしもその真偽値は2値でなくてもよい。また直観主義論理は真理値集合を完備ハイティング代数（cHa - complete Heyting algebra）とするもので、ある意味では多値論理の一種である（完備ブール代数は完備ハイティング代数の特別な場合である）。
※この「古典論理、直観主義論理との関連」の解説は、「多値論理」の解説の一部です。
「古典論理、直観主義論理との関連」を含む「多値論理」の記事については、「多値論理」の概要を参照ください。
ウィキペディア小見出し辞書の「古典論理、直観主義論理との関連」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 古典論理、直観主義論理との関連のページへのリンク
