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