完備海T代數(complete Heyting algebra)一種特殊的完備格一個滿足如下條件的完備格日。
基本介紹
- 中文名：完備海丁代數
- 外文名：complete Heyting algebra
計算公式
其中p是日的任意元素，{q;liE1}是日的任意子集.完備海丁代數對討論直覺主義邏輯是一個有用的工具一個完備布爾代數是一個完備海丁代數.
完備海丁代數
相關詞條
- 完備海丁代數
完備海T代數(complete Heyting algebra)一種特殊的完備格一個滿足如下條件的完備格日。其中p是日的任意元素，{q;liE1}是日的任意子集.完備海丁代數對討論直覺主義邏輯是一個有用的工具一個完備布爾...
- 完備海丁代數值結構
完備海丁代數值結構，形式系統的一種賦值結構.設L是一個不含函式符號的語言，日是一個完備海丁代數.稱滿足如下條件的 1. D是一個非空子集.2. }p是以1(D)為定義域的一個映射.3.如果k是一個個體常元，那么}p(k)是D的一個元素.4.如果d是D的一個元素，那么抓刃= d.5.如果R是1的一個n元謂詞符號...
- 海丁代數
海丁代數 海丁代數(Heyting algebra)基於格的一種代數.指滿足如下條件的一個格H:H上定義了一個運算D滿足p八q＜r，若且唯若q＜(per)，則稱H是海丁代數，其中per表示
- 完備海丁代數
完備海丁代數 完備海T代數(complete Heyting algebra)一種特殊的完備格一個滿足如下條件的完備格日。其中p是日的任意元素，{q;liE1}是日的任意子集.完備海丁代數對討論直覺主義邏輯是一個有用的工具一個完備布爾代數是一個完備海丁代數.
