广义重言式

作品数：58被引量：245H指数：11
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：陈图云吴洪博李顺琴王国俊惠小静更多>>
相关机构：辽宁师范大学陕西师范大学延安大学桂林航天工业高等专科学校更多>>
相关期刊：《河南师范大学学报（自然科学版）》《渭南师范学院学报》《云南师范大学学报（自然科学版）》《中国学术期刊文摘》更多>>
相关基金：国家自然科学基金陕西省自然科学基金陕西省科学技术研究发展计划项目广西教育厅科研项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
修正的RDP系统中的一种升级算法及其性质
《云南师范大学学报（自然科学版）》2015年第6期34-38,共5页李顺琴 
陕西省自然科学基金资助项目(2014JM2-1003);陕西省科技计划资助项目(2014ks15-03-07);延安市科技计划资助项目(2013ks-03);延安大学自然科学专项基金资助项目(YDQ2014-45)
通过对修正的RDP逻辑系统的研究,给出该系统中F（S）关于~同余的一个分划;并给出修正的RDP系统中广义重言式之间的一种升级算法及其性质,证明在修正的RDP系统中,重言式不可能由对非重言式进行有限次升级算法得到.
关键词：修正的RDP逻辑系统 广义重言式 分划 升级算法 
Gainse-Rescher系统基于子代数的广义重言式
《计算机工程与应用》2015年第19期53-55,113,共4页李顺琴 惠小静 
国家自然科学基金(No.11471007);陕西省自然科学基金(No.2014JM1020);陕西省科技计划社发攻关项目(No.2014ks15-03-07);延安大学自然科学专项基金(No.YDQ2014-45)
将Gainse-Rescher逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数中的广义重言式理论,并利用可达广义重言式概念在Gainse-Rescher逻辑系统的序稠密子代数中给出公式集F(S)的一个分划。
关键词：Gainse-Rescher逻辑系统 广义重言式 子代数 分划 
修正的RDP逻辑系统中的广义重言式理论被引量：1
《济南大学学报（自然科学版）》2015年第4期315-320,共6页李顺琴 惠小静 
国家自然科学基金(11471007);陕西省自然科学基金(2014JM1020);陕西省科技计划社发攻关项目(2014ks15-03-07)
提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。
关键词：修正的RDP逻辑系统 广义重言式 广义语义MP规则 广义语义HS规则 分划 
修正的RDP逻辑系统中子代数的广义重言式理论被引量：1
《计算机工程与应用》2015年第12期49-52,106,共5页李顺琴 惠小静 
陕西省自然科学基金(No.2014JM1020);陕西省科技计划社发攻关项目(No.2014ks15-03-07);延安市科技计划项目(No.2013ks-03);延安大学自然科学专项基金(No.YDQ2014-45)
讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在RDP的序稠密子代数中给出F（S）关于~同余的一个分划。
关键词：修正的RDP逻辑系统 广义重言式 α-矛盾式 子代数 分划 
修正的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逻辑系统 广义重言式 广义矛盾式 子代数 分划 
逻辑系统RDP中广义重言式的语义MP、HS规则
《模糊系统与数学》2014年第4期1-5,共5页惠小静 郝国平 
国家自然科学基金资助项目(11471007);陕西省自然科学基金资助项目(2014JM1020);陕西省高水平大学建设专项资金资助项目(2012SXTS07);延安大学博士基金资助项目(YDBK2013-12);延安市专项基金资助项目(2013-KG16)
将修正的Kleene逻辑系统中的语义MP规则和语义HS规则推广后应用于RDP逻辑系统,讨论了RDP逻辑系统中广义重言式的广义语义MP规则和广义语义HS规则,得出在逻辑系统D1/2中,广义语义(1/2)+-MP,(1/2)+-HS,1-MP,1-HS规则成立,而广义语义1/2-MP...
关键词：RDP逻辑系统 广义重言式 广义语义MP规则 广义语义HS规则 
参数Kleene系统的可靠性定理
《科学技术与工程》2012年第11期2677-2679,共3页赵正波 
介绍了参数Kleene系统及其三-I算法,并讨论了它们随参数值的变化。把参数Kleene系统广义三-I算法归入到逻辑演算意义下,讨论了参数Kleene系统的可靠性。
关键词：参数Kleene系统 广义重言式 三-I算法 可靠性 
逻辑系统RDP中子代数的广义重言式理论被引量：6
《计算机工程与应用》2011年第32期47-48,64,共3页于鸿丽 吴洪博 
国家自然科学基金No.10871121;西安文理学院中青年科研基金(No.kyc201040)~~
将RDP逻辑系统中的广义重言式理论进行推广,给出RDP逻辑系统中子代数的广义重言式概念。
关键词：RDP逻辑系统 广义重言式 子代数 
R_G-代数的子代数与广义重言式理论被引量：5
《计算机工程与应用》2011年第29期49-51,59,共4页李修清 魏海新 
广西壮族自治区教育厅科研项目(桂教科研[2011]14号)
对Gdel逻辑系统中的广义重言式理论进行推广,讨论了RG-代数的各类无限子代数上的广义重言式,证明了在子RG-代数中,Gdel逻辑系统中存在着可数多个不同的广义重言式。
关键词：Gdel逻辑系统 广义重言式 子RG-代数 分划 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部