完備海丁代數值結構

完備海丁代數值結構(complete Heyting alge-bra-valued structure)形式系統的一種賦值結構.設L是一個不含函式符號的語言，日是一個完備海丁代數.稱滿足如下條件的<D,尹為語言L的一個口值結構(完備海丁代數值結構):

1. D是一個非空子集.

2. }p是以1(D)為定義域的一個映射.

3.如果k是一個個體常元，那么}p(k)是D的一個元素.

4.如果d是D的一個元素，那么抓刃= d.

5.如果R是1的一個n元謂詞符號，那么抓R)是一個D'’到日中的映射.

設A是一個I (D)語句，由f2值結構<D,尹可決定A的值[A]如下: