本文将［１］中（Ｑ）的二值弱模型概念推广到取值于完备弱可补格上．对有限的线性序弱可补格证明了超积基本定理。......

对的格值模型，取其论域Ａ的幂集Ｓ（Ａ）的一个子集ｑ及Ａ中一组元素，把（Ｑ）中公式Ｑｘ（ｘ，）在（，ｑ）中处的值定义为，则（，ｑ）就构成（Ｑ）的一个格值弱模型．本文对（Ｑ）的格值弱模型证明了......