广义重言式理论

作品数：22被引量：161H指数：9
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：吴洪博王国俊李顺琴魏海新何华灿更多>>
相关机构：陕西师范大学桂林航天工业高等专科学校延安大学西安交通大学更多>>
相关期刊：《计算机工程与应用》《陕西师范大学学报（自然科学版）》《西南交通大学学报》《辽宁师范大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金广西教育厅科研项目陕西省自然科学基金陕西省科学技术研究发展计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
修正的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中子代数的广义重言式理论被引量：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逻辑系统 广义重言式 子代数 分划 
系统RDP中的广义重言式理论被引量：10
《模糊系统与数学》2010年第4期6-11,共6页黄阿敏 裴道武 
国家自然科学基金资助项目(10871229)
研究带参数的模糊逻辑系统RDP中的广义重言式理论。结果表明系统RDP中只有三种不同的广义重言式,即(1/2)-重言式,(1/2)+-重言式和重言式。将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法...
关键词：参数RDP系统 广义重言式 重言式 升级算法 
系统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系统 广义重言式 分划 
修正的Gdel逻辑系统中子代数的广义重言式理论被引量：15
《计算机工程与应用》2008年第36期58-60,72,共4页李顺琴 王国俊 
国家自然科学基金(No.10331010);延安大学基金(No.YDK2007-28)~~
将修正的Gdel逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G的序稠密子代数中给出F(S)关于┐同余的一个分划.
关键词：修正的Goedel逻辑系统 广义重言式 α-矛盾式 分划 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部