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

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到5篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

研究格值模型论的一种新方法: 1; 作者张玉平《北京师范大学学报（自然科学版）》 CAS CSCD 1992年第4期420-425,共6页; 多值公式、模型及其他有关概念可以转化为相应的二值概念,这个过程是可逆的.因而在考虑格值问题时,就不必沿着二值的思路,只需先将它们转变为二值的,然后再把二值相应结果转变为多值.这个思路对考虑有关模型存在的问题很有效.; 关键词多值模型紧致性格值模型论; 在线阅读下载PDF 职称材料

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

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

L(Q)格值模型的初等子模型(英文): 4; 作者谢惠扬王捍贫《北京大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第5期623-629,共7页; 将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。对有限的线性序弱可补格 ,讨论了关于L(Q)模型的初等子模型的一些性质 ,如强升和强降L S T定理。; 关键词广义量词格值模型论初等扩充初等子模型完备弱可补格线性序弱可补格; 在线阅读下载PDF 职称材料

两个初等等价的不同构的有限格值模型: 5; 作者沈云付《北京师范大学学报（自然科学版）》 CAS CSCD 1994年第3期317-320,共4页; 在二值模型论中，２个初等等价的有限模型必定同构，但本文构作一个反例证明同样的结论在格值模型论中不成立，因而Ｋｅｉｓｌｅｒ－Ｓｈｅｌａｈ同构定理也不成立。; 关键词格值模型初等等价同构; 在线阅读下载PDF 职称材料

已选择0条

导出题录引用分析

统计分析

上一页 1 下一页到第页

使用帮助返回顶部