直観主義論理においても同様の完全性定理が成立するが、論理式の真理値はブール代数の代わりにハイティング代数の元を用いる。
可以把其他布尔代数用作多值逻辑中的真值集合，但直觉主义逻辑把布尔代数推广为海廷代数。