广义重言式

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
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年第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逻辑系统 广义重言式 广义矛盾式 降级算法 分划 
逻辑系统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-代数 分划 
Gdel逻辑系统中1/2-子代数上的广义重言式理论被引量：6
《计算机工程与应用》2011年第5期43-45,100,共4页李修清 
广西壮族自治区教育厅科研基金(桂教科研[2006]26号)
将Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统-G中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在-G的三类子代数中给出F(S)关于同余的一个分划。
关键词：Gdel逻辑系统 广义重言式 子代数 分划 
Gdel系统中一类子代数上的广义重言式理论被引量：4
《计算机工程与应用》2010年第29期56-57,62,共3页魏海新 
广西壮族自治区教育厅科研基金(No.桂教科研[2006]26号)
将Gdel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于﹁同余的一个分划。
关键词：Gdel逻辑系统 广义重言式 子代数 分划 
逻辑系统H_α中广义语义MP规则证明的改进被引量：1
《计算机工程与应用》2010年第22期52-53,87,共3页于鸿丽 吴洪博 
国家自然科学基金No.10871121;西安文理学院中青年科研基金(No.kyc201040)~~
将修正的Kleene逻辑系统中语义MP规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α+]-MP)规则,使得对Hα系统中的广义语义MP规则有了更进一步的认识。另外,逻辑系统Wˉ中的广义语义MP规...
关键词：模糊逻辑 Hα逻辑系统 广义重言式 广义语义MP规则 
系统H_α中的子代数的广义重言式理论
《计算机工程与应用》2010年第8期37-39,51,共4页李顺琴 王国俊 
国家自然科学基金Grant No.10331010;延安大学基金(No.YDK2007-28)~~
将多值逻辑系统H(α0≤α≤1)中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,利用可达广义重言式概念在系统H1的序稠密子代数中给出F(S)的一个分划,并把系统H1中的相关结论推广到系统H(α0≤α≤1)中。
关键词：多值逻辑系统 广义重言式 子代数 分划 
修正的Kleene系统中子代数的广义重言式理论被引量：6
《计算机工程与应用》2009年第22期32-33,46,共3页魏海新 
广西区教育厅科研基金(No.桂教科研[2006]26号)
将修正的Kleene系统中的广义重言式理论进行推广,讨论了其序稠密子代数的广义重言式理论,并利用可达广义重言式的概念在W的序稠密子代数中给出F(S)关于┐同余的一个分划。
关键词：修正的Kleene系统 广义重言式 分划 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部