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

Acta Scientiarum Naturalium Universitatis Pekinensis

Previous Articles Next Articles

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

WANG Hanpin¹, XIE Huiyang²

¹Department of Computer Science & Technology, Peking University, Beijing, 100871; ²College of Fundamental Science & Information Engineering, Beijing Forestry University, Beijing, 100083

Received:1998-04-12 Online:1999-05-20 Published:1999-05-20

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

王捍贫¹, 谢惠扬²

¹北京大学计算机系，北京，100871; ²北京林业大学基础科学与信息工程学院，北京，100083

Abstract

Abstract: 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.

Key words: generalized quantifier, Lattice-valued Model, omitting type theorem

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

关键词: 广义量词, 格值模型论, 省略型定理

CLC Number: