摘要
This paper is a continuation of the work begun in [2], which is to generalize the theory of the two-valued models to lattice-valued ones. The basic conceptions and the symbols used in this paper are the same as those in [2], but the content discussed is independent of it. The main content of this paper is two cases of application of the method of constructing models by constants. The first one proves the compactness theorem of
