海廷代數

海廷代數H為一有界格，滿足如下條件：對於在H中的所有a和b，存在一屬於H的最大元素x，使得

元素x被稱為a對應於b的相對偽補元(relative pseudo-complement)，並標記為

。H中最大和最小元素分別寫成1和0。

任一海廷代數，皆可定義出任一元素x的偽補元¬x為¬x = (x → 0)。依定義，a ∧ ¬a = 0,，且¬a是具有此一性質的最大元素。不過，因為a ∨ ¬a = 1,並不總是真的，所以¬只是一個偽補運算，而不是像在布爾代數中所見真正的補元。完全海廷代數是指具有完全格的海廷代數。海廷代數H的子代數是指H的子集H1，包含0和1，並在∧、∨和→等運算下是封閉的。這表示在¬下也是封閉的。

格理論的定義

海廷代數的等價定義可由如下映射給出：對於H中的某些固定元素a，

定義為

有界格H是海廷代數，當且僅當所有的映射fa都是單調伽羅瓦連接的下伴隨(lower adjoint)。在這種情況下，其相對應的上伴隨

是由

給出的，其中的

定義同上。

海廷代數總是符合分配律。就是説，給定格A和二元運算→它們形成一個海廷代數，當且僅當如下成立：

1、

2、

3、

4、

（分配律）

這有時被陳述為公理，但實際上可以從相對偽補元的存在性得到。道理是作為伽羅瓦連接的下伴隨，

保持所有現存的上確界。所以分配律就是

對二元最小上界的保持。

進一步的，通過類似的論證，下列無限分配律在任何完全海廷代數中都成立：

對於任何H中的元素x和任何H的子集Y。

不是所有海廷代數都滿足兩個德·摩根定律。但是，對於所有海廷代數H下列陳述都是等價的：

1、H滿足兩個德·摩根定律。

2、

，對於所有H中的x y。

3、

，對於所有H中的x。

4、

，對於所有H中的xy。

H的一個元素x的偽補元是集合

的上確界，並且屬於這個集合(就是説，

成立)。

海廷代數H的一個元素x叫做正規的，如果如下等價條件之一成立：

1、

2、

，對於H的某個元素y。

海廷代數H是布爾代數，如果下列等價條件之一成立的：

1、所有H中的x都是正規的。

2、

，對於所有H中的x。在這種情況下，元素

等價於

。

在任何海廷代數中，最小0和最大元素1都是正規的。任何海廷代數的正規元素都構成一個布爾代數。除非海廷代數的所有元素都是正規的，這個布爾代數都不會是這個海廷代數的子格，因為並運算將是不同的。 ^[2] 

1、所有是有界格的全序集合也是海廷代數，在這裏對於不是0的所有a有

和

。

2、不是布爾代數的最簡單的海廷代數是線性有序集合{0, ½, 1}帶有如下運算：

注意

不滿足排中律。

3、所有的拓撲都以它的開集格的形式提供完全海廷代數。在這種情況下，元素

是

和B的並的內部，這裏的

指示開集A的補。不是所有完全海廷代數都有這種形式。這些問題在無點拓撲學中研究，這裏完全海廷代數也叫做frame或locale。

4、命題直覺主義邏輯的林登鮑姆-塔斯基代數是海廷代數。它被定義為所有命題邏輯公式的集合，並通過邏輯藴涵來排序：對於任何兩個公式F和G我們有

，當且僅當

。在這個階段

只是誘發海廷代數所需要的偏序的預序。

應用於直覺主義邏輯的海廷代數

阿蘭德·海廷(1898年－1980年)自己感興趣於以這種類型的結構來澄清直覺主義邏輯的基礎地位。皮爾士定律的案例説明了海廷代數的語義角色，並給出皮爾士定律不能從直覺主義邏輯的基本定律中推導出來的最簡單的已知證明。

如果用海廷代數的術語解釋直覺主義命題邏輯的公理，則對於任何值到公式變量的指派下的任何海廷代數，它們將求值得到最大元素1。例如，通過偽補元的定義，

是最大元素x使得

。這個不等式對任何x都滿足，所以最大的這種x是1。

進一步的，肯定前件規則允許從公式P和P → Q導出公式Q。在任何海廷代數中，如果P有值1，並且P → Q有值1，因為它意味着

，所以

；因此Q只能有值1。這意味着如果一個公式可以從直覺主義邏輯中演繹出來，即從它的公理通過肯定前件推導出來，則在任何值到公式變量的指派下的任何海廷代數中，它總是有值1。但是你可以一個海廷代數在其中皮爾士定律的值不總是1。考慮上面給出的三元素代數{0,½,1}。如果我們指派½到P並指派0到Q，則皮爾士定律 ((P → Q) → P) → P的值是½。這得出了皮爾士定律是不能直覺主義邏輯推導的。這在類型論中的藴涵詳情請參見柯里-霍華德同構。

反過來也是可證明的：如果一個公式總是有值1，則它是可以從直覺主義邏輯的公理系統演繹出來的，所以“直覺主義有效”的公式嚴格的是永遠有值1的公式。這類似於“經典有效”公式是在兩元素布爾代數中在對公式變量的任何可能真和假指派下永遠有值1的公式，它們在通常的真值表意義上是重言式。從邏輯的立場，海廷代數是普通真值系統的推廣，它的最大元素1可比擬於真。平常的二值邏輯系統是海廷代數的特殊情況，和最小的非平凡的系統，在其中僅有的代數元素是1(真)和0 (假)。 ^[3]