L(Q)格值模型的完全弱理论  

The Complete Weak Theory of Lattice-valued Model for Language L(Q)

作　　者：梁娟英[1] 陈国龙[2] 

机构地区：[1]安徽工贸职业技术学院社科基础部,安徽淮南232007 [2]淮北师范大学计算机科学与技术学院,安徽淮北235000

出　　处：《淮北煤炭师范学院学报（自然科学版）》2010年第2期1-4,共4页Journal of Huaibei Coal Industry Teachers College(Natural Science edition)

基　　金：教育部科学技术重点项目(205074);安徽省高校自然科学项目(2005KJ032ZD)

摘　　要：对有限的线性序,文章证明了完全弱理论T和模型完全弱理论的一些等价条件,并给出了完全弱理论T的一个判定定理.About finite linerly ordered,this paper proves some conditions of equivalence of complete weak theory T and model complete weak theory.In adittion,a kind of decision theorem of complete weak theory T is proved.

关 键 词：格值弱模型 完全弱理论 初等等价 

分 类 号：O144[理学—数学]