摘要
本文是[2]中开始的把2值模型论各主要结果向多值模型论推广工作的继续。有些基本概念及记号用法可参看该文。但所讨论的内容与[2]是独立的。本文主要是用常量构作模型的方法证明某些有限值格时的紧致性定理。([2]中已用超积方法证明了有限格值时的紧致性定理。)主要目的是说明这种有用的方法。定义.设△(p,q)是一个由命题变量 p,q经∧,∨,‘组成的良构式。
This paper gives a proof of the compactness theorem in L-valued model theory for certain finite complemented lattices L. The proof uses the method of construction from constants and is a generalization of the classical (2-val- ued) proof given by Henkin.
出处
《北京师范大学学报（自然科学版）》
CAS
1980年第Z1期25-30,共6页
Journal of Beijing Normal University(Natural Science)
