检索结果-维普期刊中文期刊服务平台

(Q)格值模型的省略型定理被引量：1: 1; 作者王捍贫谢惠扬《北京大学学报（自然科学版）》 CAS CSCD 北大核心 1999年第3期409-413,共5页; 将带广义量词Ｑ的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。; 关键词广义量词格值模型论省略型定理格值逻辑; 在线阅读下载PDF 职称材料

_（ω1ω）语言格值模型论的省略型定理及其应用: 2; 作者别荣芳《北京师范大学学报（自然科学版）》 CAS CSCD 1996年第3期307-311,共5页; 利用和谐性质的方法给出_(ω_１ω)片断上的省略型定理。作为应用，对中的完备理论Ｔ，讨论了原子模型的存在性，Ｔ有素模型的充要条件以及模型ｕ为素模型的充要条件，并给出了原子模型与素模型之间的关系。; 关键词格值模型素模型无限语言省略型定理模型论; 在线阅读下载PDF 职称材料

有限值格L上的广义省略型定理讨论: 3; 作者孙萍《贵州师范大学学报（自然科学版）》 CAS 1989年第2期47-51,共5页; 本文提出有限值格L上的广义省略型定理并给以证明。定理:(L有强特征式,(F_1)、(F_2)紧致性定理成立) 设L可数,T是一和谐理论,; 关键词有限值格广义省略型定理模型; 在线阅读下载PDF 职称材料