广义矛盾式

作品数：16被引量：32H指数：3
导出分析报告
相关领域：理学更多>>
相关作者：吴洪博李顺琴惠小静阎满富马巧云更多>>
相关机构：陕西师范大学延安大学唐山师范学院西安文理学院更多>>
相关期刊：《纺织高校基础科学学报》《西安文理学院学报（自然科学版）》《中国学术期刊文摘》《工程数学学报》更多>>
相关基金：国家自然科学基金陕西省自然科学基金陕西省科学技术研究发展计划项目延安市科学技术研究与发展计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
谓词逻辑中公理化真度的若干评注
《宁夏大学学报（自然科学版）》2022年第1期30-32,40,共4页马硕 惠小静 郝娇 
国家自然科学基金资助项目(11471007,61763045);延安大学研究生教育创新计划项目(YCX2021056)。
根据一阶谓词逻辑中公理化真度的定义对给定公式的真度进行了计算,讨论了该真度下伪距离的性质,并应用赋值法论证了真度为1的公式与广义定理及定理的关系,分析了真度为0的公式与广义矛盾式及矛盾式之间的异同.
关键词：一阶谓词逻辑 真度 广义矛盾式 矛盾式 定理 
n值Gdel逻辑系统中广义矛盾式的计量化研究
《延安大学学报（自然科学版）》2016年第1期3-5,共3页李顺琴 
陕西省自然科学基金(2014JM2-1003);陕西省科技计划社发攻关项目(2014ks15-03-07);延安市科技计划项目(2013ks-03);延安大学自然科学专项基金(YDQ2014-45)
利用势为n的均匀概率空间的无穷乘积,在n值Gdel逻辑系统中引入公式的α-矛盾度概念,从而将矛盾式的概念进行双重程度化,进而给出广义矛盾度的推理规则。
关键词：Godel逻辑系统 α-矛盾度 α-差异度 伪距离 
修正的RDP逻辑系统中的广义矛盾式被引量：2
《计算机工程与应用》2015年第11期50-54,共5页李顺琴 惠小静 
陕西省自然科学基金(No.2014JM1020);陕西省科技计划社发攻关项目(No.2014ks15-03-07);延安市科技计划项目(No.2013ks-03);延安大学自然科学专项基金(No.YDQ2014-45)
讨论了修正的RDP逻辑系统中的广义矛盾式,并对该系统中的广义矛盾式进行了分划;给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。
关键词：修正的RDP逻辑系统 广义重言式 广义矛盾式 降级算法 分划 
Gainse-Rescher逻辑系统中子代数的广义矛盾式被引量：1
《贵州大学学报（自然科学版）》2015年第2期6-9,共4页李顺琴 惠小静 
国家自然科学基金项目资助(11471007);陕西省自然科学基金项目资助(2014JM1020);陕西省科技计划社发攻关项目资助(2014ks15-03-07);延安大学自然科学专项基金项目资助(YDQ2014-45)
本文讨论Gainse-Rescher逻辑系统中序稠密子代数的广义矛盾式,并利用可达广义矛盾式概念在Gr的序稠密子代数中给出公式集F(S)的一个分划。
关键词：Gainse-Rescher逻辑系统 广义重言式 广义矛盾式 子代数 分划 
修正的Gdel系统的子代数中F(S)的分划及升级算法
《计算机工程与应用》2012年第26期44-47,共4页魏海新 李晨晖 
广西壮族自治区教育厅科研基金(桂教科研[2010]10号)
将修正的Gdel逻辑系统中广义矛盾式理论推广,讨论了修正的Gdel逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划。
关键词：修正的Gdel系统 广义矛盾式 子代数 分划 
Gdel逻辑系统中标准子代数上的广义矛盾式被引量：1
《桂林航天工业高等专科学校学报》2010年第3期391-393,共3页李修清 魏海新 
广西区教育厅科研基金(桂教科研[2006]26号)
文章讨论了Gdel逻辑系统中标准子代数E0上的广义矛盾式理论,给出标准子代数上可达0-重言式的一个分划,证明了在标准子代数E0中,重言式不可能由对非重言式进行有限次升级算法得到,利用广义重言式和α-矛盾式概念在E0中给出了F(S)的一...
关键词：Gdel逻辑系统 广义矛盾式 子代数 分划 
修正的Product逻辑系统中的广义矛盾式被引量：2
《模糊系统与数学》2008年第4期21-26,共6页李顺琴 王国俊 
国家自然科学基金重点资助项目(10331010)
讨论了修正的Product逻辑系统中的广义矛盾式理论,证明了该系统中广义矛盾式的类类互异定理,并给出了修正的Product逻辑系统中的广义矛盾式之间的一种降级算法。
关键词：修正的P-逻辑 广义矛盾式 降级算法 类类互异定理 
逻辑系统、W、W_n中的广义矛盾式及一种降级算法被引量：1
《纯粹数学与应用数学》2007年第4期475-479,500,共6页马巧云 吴洪博 赵艳 
国家自然科学基金资助项目(10471083);西安文理学院科研资助项目(ky200535)
研究了多值逻辑系统、W、Wn中的广义矛盾式,并对这些多值逻辑系统中的广义矛盾式进行了分划,强调了这种分划的不重不漏.在、W、Wn中给出了一种降级算法,但、W中的矛盾式并不能由对非矛盾式进行降级得到.而在Wn中,矛盾式可由非矛...
关键词：逻辑系统 重言式 矛盾式 降级算法 
自然科学：数学：数学逻辑与数学基础
《中国学术期刊文摘》2007年第23期8-8,共1页
修正的Kleene系统中的子代数的广义矛盾式；椭圆问题在三角网格剖分下的扩展混合体积元方法.
关键词：数学基础 数学逻辑 自然科学 Kleene系统 三角网格剖分 广义矛盾式 椭圆问题 
修正的Kleene系统中的子代数的广义矛盾式
《纺织高校基础科学学报》2007年第2期107-112,共6页李顺琴 王国俊 
国家自然科学基金重点项目(10331010)
将修正的Kleene系统中的广义矛盾式理论进行推广,在R0代数[0,1]的各类无限子R0代数中的广义重言式的基础上讨论了广义矛盾式理论:(1)讨论了一般子R0代数的广义矛盾式;(2)根据聚点性态的不同将无限子R0代数作了分类,并在各类无限子R0代...
关键词：修正的Kleene系统 子R0代数 广义矛盾式 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部