| (Q)格值模型的省略型定理 |
| |
| 引用本文： | 王捍贫,谢惠扬.(Q)格值模型的省略型定理[J].北京大学学报(自然科学版),1999(3). |
| |
| 作者姓名： | 王捍贫 谢惠扬 |
| |
| 作者单位： | 北京大学计算机系(王捍贫)，北京林业大学基础科学与信息工程学院(谢惠扬) |
| |
| 摘 要： | 将带广义量词Ｑ的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。
|
| 关 键 词： | 广义量词 格值模型论 省略型定理 |
The Omitting Type Theorem in Lattice valued Model Theory of L(Q) |
| |
| WANG\ Hanpin.The Omitting Type Theorem in Lattice valued Model Theory of L(Q)[J].Acta Scientiarum Naturalium Universitatis Pekinensis,1999(3). |
| |
| Authors: | WANG\ Hanpin |
| |
| 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 |
| 本文献已被 CNKI 等数据库收录！ |
