摘要
将带广义量词Ｑ的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。
The two valued weak model of the first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.For finite linearly ordered weak complemented lattice, the omitting type theorem is proved.
出处
《北京大学学报（自然科学版）》
CAS
CSCD
北大核心
1999年第3期409-413,共5页
Acta Scientiarum Naturalium Universitatis Pekinensis
基金
北京大学青年自然科学基金
关键词
广义量词
格值模型论
省略型定理
格值逻辑
generalized quantifier
Lattice valued Model
omitting type theorem
