| L (Q)格值模型的初等子模型 |
| |
| 引用本文： | 谢惠扬,王捍贫.L (Q)格值模型的初等子模型[J].北京大学学报(自然科学版),2001,37(5):623-629. |
| |
| 作者姓名： | 谢惠扬 王捍贫 |
| |
| 作者单位： | 1. 北京林业大学基础科学与信息工程学院
2. 北京大学计算机科学与技术系 |
| |
| 基金项目： | 国家自然科学基金;NSFC,69973003; |
| |
| 摘 要： | 将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格，讨论了关于L(Q)模型的初等子模型的一些性质，如强升和强降L－S－T定理，初等图像在初等扩充下的保持性等。
|
| 关 键 词： | 广义量词 格值模型论 初等扩充 初等子模型 完备弱可补格 线性序弱可补格 |
On Elementary Submodels of Α Lattice-valued Model for Language L (Q) |
| |
| XIE\ Huiyang.On Elementary Submodels of Α Lattice-valued Model for Language L (Q)[J].Acta Scientiarum Naturalium Universitatis Pekinensis,2001,37(5):623-629. |
| |
| Authors: | XIE\ Huiyang |
| |
| Abstract: | The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.For finite linearly ordered weak complemented lattice,some properties on elementary extension of models for L(Q),such as strong downward L S T Theorem and the preservation of the elementary diagram under elementary extensions,are discussed. |
| |
| Keywords: | generalized quantifier Lattice valued Model elementary submodel |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
