也是真的，但是不再对每个公式指派（assign）来自布尔代数的值，而是使用来自海廷代数的值，布尔代数是它的特殊情况。公式在直觉逻辑中是有效的，当且仅当它对于在任何海廷代数上的任何赋值总是得到值1。可以证实为了识别有效的公式，考虑其元素是实平面"R"的开集的一个单一的海廷代数就足够了。在这种代数中，∧和∨算子对应于集合的交集和并集，并且指派给公式"A"→"B"的值是 ("A" ∪ B)，它是B的值和A的值的补集的并集的内部。底元素是ø，顶元素是整个平面"R"。¬"A"定义为"A"→ø，所以指派给它的值是"