海丁代數(Heyting algebra)基於格的一種代數.指滿足如下條件的一個格H:H上定義了一個運算D滿足p八q<r,若且唯若q< (per),則稱H是海丁代數,其中per表示 ....
完備海T代數(complete Heyting algebra)一種特殊的完備格一個滿足如下條件的完備格日。...
完備海丁代數值結構(complete Heyting alge-bra-valued structure)形式系統的一種賦值結構.設L是一個不含函式符號的語言,日是一個完備海丁代數.稱滿足如下條件的...
