-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=格值模型论 "
共 条 记 录，以下是1-7

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
ζ_(ω_1ω)语言格值模型论的Malitz插值定理
《数学学报（中文版）》1997年第4期505-510,共6页别荣芳 
国家教委博士点基金
本文利用和谐性质的方法，证明了ζ＿（ω＿１ω）语言格值模型论的Ｍａｌｉｔｚ插值定理，并给出了有意义的应用。
关键词：Lω1ω语言 和谐性质 格值模型论 Malitz插值 
FM逻辑的紧致性与Lwenheim-Skolem性
《科学通报》1998年第4期371-375,共5页秦克云 徐扬 宋振明 
国家自然科学基金!(批准号 :6 96 74 0 15);四川省科委青年基金资助项目
讨论了FM模型的若干性质 。
关键词：格值模型论 FM逻辑 紧致性 L-S性 
研究格值模型论的一种新方法
《北京师范大学学报（自然科学版）》1992年第4期420-425,共6页张玉平 
国家教委博士点基金
多值公式、模型及其他有关概念可以转化为相应的二值概念,这个过程是可逆的.因而在考虑格值问题时,就不必沿着二值的思路,只需先将它们转变为二值的,然后再把二值相应结果转变为多值.这个思路对考虑有关模型存在的问题很有效.
关键词：多值模型 紧致性 格值模型论 
有限可补格上的一阶格值逻辑几个性质
《数学学报（中文版）》2007年第6期1243-1248,共6页童雪 别荣芳 
国家自然科学基金(60273015)
本文建立了格值逻辑的正规性概念,证明了具有强特征式的有限可补格上的一阶格值逻辑是正规逻辑,并证明了Fraise定理在其上成立.
关键词：强特征式 正规逻辑系统 格值模型论 
(Q)格值模型的省略型定理被引量：1
《北京大学学报（自然科学版）》1999年第3期409-413,共5页王捍贫 谢惠扬 
北京大学青年自然科学基金
将带广义量词Ｑ的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。
关键词：广义量词 格值模型论 省略型定理 格值逻辑 
数理逻辑与数学基础有限可补格上的一阶格值逻辑几个性质
《中国学术期刊文摘》2008年第9期10-10,共1页童雪 别荣芳 
建立了格值逻辑的正规性概念，证明了具有强特征式的有限可补格上的一阶格值逻辑是正规逻辑，并证明了Fraise定理在其上成立．
关键词：强特征式 正规逻辑系统 格值模型论 
L(Q)格值模型的初等子模型(英文)
《北京大学学报（自然科学版）》2001年第5期623-629,共7页谢惠扬 王捍贫 
国家自然科学基金 (NSFC ;6 99730 0 3);国家重大基础研究 (973;G19990 32 70 6 )资助项目
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。对有限的线性序弱可补格 ,讨论了关于L(Q)模型的初等子模型的一些性质 ,如强升和强降L S T定理 。
关键词：广义量词 格值模型论 初等扩充 初等子模型 完备弱可补格 线性序弱可补格 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部