反过来也是可证明的：如果一个公式总是有值1，则它是可以从直觉主义逻辑的公理系统演绎出来的，所以“直觉主义有效”的公式严格的是永远有值1的公式。这类似于“经典有效”公式是在两元素布尔代数中在对公式变量的任何可能真和假指派下永远有值1的公式，它们在通常的真值表意义上是重言式。从逻辑的立场，海廷代数是普通真值系统的推广，它的最大元素1可比拟于真。平常的二值逻辑系统是海廷代数的特殊情况，和最小的非平凡的系统，在其中仅有的代数元素是1(真)和0 (假)。