重言式

作品数：180被引量：439H指数：12
导出分析报告
相关领域：理学哲学宗教更多>>
相关作者：陈图云吴洪博王国俊李顺琴于鸿丽更多>>
相关机构：陕西师范大学辽宁师范大学延安大学西安文理学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金陕西省自然科学基金陕西省科学技术研究发展计划项目广西教育厅科研项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用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逻辑系统 广义重言式 广义矛盾式 降级算法 分划 
MV代数的子代数及相关重言式之间的关系
《计算机工程与应用》2013年第9期45-49,共5页周建仁 吴洪博 
国家自然科学基金(No.11171196)
对MV单位区间[0,1]和n-值MV代数Ln的子代数的结构问题及其上重言式之间的关系进行了较为细致的研究。主要结论是:如果MV单位区间[0,1]的子代数M同构于n-值MV代数Ln的子代数,那么,存在正整数m满足(m-1)|(n-1)使得M=Lm;如果M是MV单位区间[...
关键词：模糊逻辑 Lucasiewicz逻辑系统 多值逻辑代数(MV) 子代数 重言式 
逻辑系统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-代数 分划 
乘积逻辑系统中公式的真度函数理论
《计算机工程与应用》2011年第25期58-60,67,共4页罗敏霞 姚宁 
浙江省自然科学基金(No.Y1110651)
基于乘积逻辑系统研究公式的真度函数理论。在乘积逻辑系统中给出真度函数的概念,得到真度函数的一系列性质,证明τ-完备性定理,说明τ-语构与τ-语义的和谐性。
关键词：真度函数 τ-定理 τ-重言式 τ-演绎定理 
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规则 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部