摘要
对的格值模型，取其论域Ａ的幂集Ｓ（Ａ）的一个子集ｑ及Ａ中一组元素，把（Ｑ）中公式Ｑｘ（ｘ，）在（，ｑ）中处的值定义为，则（，ｑ）就构成（Ｑ）的一个格值弱模型．本文对（Ｑ）的格值弱模型证明了紧性致定理。
For a lattice-valued model of,choosing a subset q from the power set of the universe A of and a sequence of elements,we define the value of a formula Qx(x,) of (Q) at in (,q) to be sup inf(a,)|(,q),then(,q) is a lattice-valued weak model of (Q),In this article,the lattice-valued Compactness theorem of the weak models is proved.
