期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
L(Q)格值模型的初等子模型(英文)
1
作者 谢惠扬 王捍贫 《北京大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第5期623-629,共7页
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。对有限的线性序弱可补格 ,讨论了关于L(Q)模型的初等子模型的一些性质 ,如强升和强降L S T定理 。
关键词 广义量词 格值模型论 初等扩充 初等子模型 完备弱可补格 线性序弱可补格
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部