多値論理
古典論理は真理値集合を完備ブール代数(cBa - complete Boole algebra)とするものであり、古典的には2値であるが、現代的な数理論理・形式論理の観点からは必ずしもその真偽値は2値でなくてもよい。また直観主義論理は真理値集合を完備ハイティング代数(cHa - complete Heyting algebra)とするもので、ある意味では多値論理の一種である(完備ブール代数は完備ハイティング代数の特別な場合である)。