| L(Q)格值模型的省略型定理 |
| |
| 引用本文： | 王捍贫 谢惠扬. L(Q)格值模型的省略型定理[J]. 北京大学学报(自然科学版), 1999, 35(3): 409-413 |
| |
| 作者姓名： | 王捍贫 谢惠扬 |
| |
| 作者单位： | 北京大学计算机系，北京，100871; 北京林业大学基础科学与信息工程学院，北京，100083 |
| |
| 摘 要： | 将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。
|
| 关 键 词： | 广义量词 格值模型论 省略型定理 |
| 收稿时间： | 1998-04-12 |
The Omitting Type Theorem in Lattice-valued Model Theory of L(Q) |
| |
| WANG Hanpin,XIE Huiyang. The Omitting Type Theorem in Lattice-valued Model Theory of L(Q)[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 1999, 35(3): 409-413 |
| |
| Authors: | WANG Hanpin XIE Huiyang |
| |
| Affiliation: | Department of Computer Science & Technology, Peking University, Beijing, 100871; College of Fundamental Science & Information Engineering, Beijing Forestry University, Beijing, 100083 |
| |
| 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. |
| |
| Keywords: | generalized quantifier Lattice-valued Model omitting type theorem |
| 本文献已被 维普 等数据库收录！ |
| 点击此处可从《北京大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《北京大学学报(自然科学版)》下载全文 |
