(Q)格值模型的省略型定理
The Omitting Type Theorem in Lattice valued Model Theory of L(Q)作者机构：北京大学计算机系 北京林业大学基础科学与信息工程学院
出 版 物：《北京大学学报（自然科学版）》 (Acta Scientiarum Naturalium Universitatis Pekinensis)
年 卷 期：1999年第35卷第3期
页 面：409-413页
核心收录：
学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学]
基 金：北京大学青年自然科学基金
摘 要：将带广义量词Ｑ的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。
维普期刊数据库
同方期刊数据库