北京大学学报(自然科学版)

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

王捍贫1, 谢惠扬2   

  1. 1北京大学计算机系,北京,100871; 2北京林业大学基础科学与信息工程学院,北京,100083
  • 收稿日期:1998-04-12 出版日期:1999-05-20 发布日期:1999-05-20

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

WANG Hanpin1, XIE Huiyang2   

  1. 1Department of Computer Science & Technology, Peking University, Beijing, 100871; 2College of Fundamental Science & Information Engineering, Beijing Forestry University, Beijing, 100083
  • Received:1998-04-12 Online:1999-05-20 Published:1999-05-20

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

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

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

中图分类号: