L(Q)格值模型的初等子模型(英文)  

On Elementary Submodels of Α Lattice-valued Model for Language L(Q)

作　　者：谢惠扬[1] 王捍贫[2] 

机构地区：[1]北京林业大学基础科学与信息工程学院,北京100083 [2]北京大学计算机科学与技术系,北京100871

出　　处：《北京大学学报（自然科学版）》2001年第5期623-629,共7页Acta Scientiarum Naturalium Universitatis Pekinensis

基　　金：国家自然科学基金 (NSFC ;6 99730 0 3);国家重大基础研究 (973;G19990 32 70 6 )资助项目

摘　　要：将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。对有限的线性序弱可补格 ,讨论了关于L(Q)模型的初等子模型的一些性质 ,如强升和强降L S T定理 。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.

关 键 词：广义量词 格值模型论 初等扩充 初等子模型 完备弱可补格 线性序弱可补格 

分 类 号：O141.4[理学—数学]