(Q)格值模型的省略型定理  

The Omitting Type Theorem in Lattice valued Model Theory of L(Q)

作　　者：王捍贫[1] 谢惠扬[2] 

机构地区：[1]北京大学计算机系 [2]北京林业大学基础科学与信息工程学院

出　　处：《北京大学学报（自然科学版）》1999年第3期409-413,共5页Acta Scientiarum Naturalium Universitatis Pekinensis

基　　金：北京大学青年自然科学基金

摘　　要：将带广义量词Ｑ的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。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.

关 键 词：广义量词 格值模型论 省略型定理 格值逻辑 

分 类 号：O141.4[理学—数学] O141.3[理学—基础数学]