子代数

作品数：859被引量：783H指数：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逻辑系统 广义重言式 α-矛盾式 子代数 分划 
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) 子代数 重言式 
关于IV-(∈,∈Ⅴq)模糊格蕴涵子代数被引量：4
《计算机工程与应用》2012年第26期39-43,共5页刘春辉 
国家自然科学基金(No.60774073)
运用区间值模糊集的思想对IV-(∈,∈Ⅴq)-模糊格蕴涵子代数概念作进一步研究。给出了IV-(∈,∈Ⅴq)-模糊格蕴涵子代数的若干新的性质与刻画;获得了IV-(∈,∈Ⅴq)-模糊格蕴涵子代数的象与原象成为IV-(∈,∈Ⅴq)-模糊格蕴涵子代数的条件;...
关键词：格蕴涵代数 IV-模糊集 IV-(∈ ∈Ⅴq)-模糊格蕴涵子代数 直积 
修正的Gdel系统的子代数中F(S)的分划及升级算法
《计算机工程与应用》2012年第26期44-47,共4页魏海新 李晨晖 
广西壮族自治区教育厅科研基金(桂教科研[2010]10号)
将修正的Gdel逻辑系统中广义矛盾式理论推广,讨论了修正的Gdel逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划。
关键词：修正的Gdel系统 广义矛盾式 子代数 分划 
BCK代数的区间值(∈,∈vq)-模糊子代数被引量：1
《计算机工程与应用》2012年第4期33-36,共4页刘春辉 
国家自然科学基金(No.60774073)
将Zadeh提出的区间值模糊集的概念应用于BCK代数,提出BCK代数的区间值(∈,∈vq)模糊子代数的概念并研究其性质。给出了区间值模糊集成为区间值(∈,∈vq)模糊子代数的充要条件;讨论了区间值(∈,∈vq)模糊子代数与子代数以及(∈,∈vq)模...
关键词：BCK代数 子代数 区间值模糊集 区间值(∈ ∈vq)-模糊子代数 
逻辑系统RDP中子代数的广义重言式理论被引量：6
《计算机工程与应用》2011年第32期47-48,64,共3页于鸿丽 吴洪博 
国家自然科学基金No.10871121;西安文理学院中青年科研基金(No.kyc201040)~~
将RDP逻辑系统中的广义重言式理论进行推广,给出RDP逻辑系统中子代数的广义重言式概念。
关键词：RDP逻辑系统 广义重言式 子代数 
软集与软RSL-代数被引量：4
《计算机工程与应用》2011年第27期15-18,共4页邵迎超 秦克云 
国家自然科学基金(No.60875034)~~
将Molodtsov提出的软集理论应用于RSL-代数。为此,提出了软RSL-代数和软RSL-子代数的概念,讨论了它们的基本性质。同时,给出了关于RSL-代数的同态映射,刻画了同态映射的基本特性。
关键词：软集 软RSL-代数 软RSL-子代数 
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逻辑系统 广义重言式 子代数 分划 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部