基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在----RDP的序稠密子代数中给出F(S)关于同余的一个分划。
推荐文章
逻辑系统RDP中子代数的广义重言式理论
RDP逻辑系统
广义重言式
子代数
修正的G(o)del逻辑系统中子代数的广义重言式理论
修正的G(o)del逻辑系统
广义重言式
α-矛盾式
分划
逻辑系统中重言式及广义重言式的关系
重言式
广义重言式
多值逻辑系统
参数Kleene系统
子代数
修正的Kleene系统中子代数的广义重言式理论
修正的Kleene系统
广义重言式
分划
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 修正的RDP逻辑系统中子代数的广义重言式理论
来源期刊 计算机工程与应用 学科 数学
关键词 修正的RDP逻辑系统 广义重言式 α-矛盾式 子代数 分划
年,卷(期) 2015,(12) 所属期刊栏目 理论研究、研发设计
研究方向 页码范围 49-52,106
页数 5页 分类号 O141.1
字数 5308字 语种 中文
DOI 10.3778/j.issn.1002-8331.1408-0049
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 惠小静 延安大学数学与计算机科学学院 77 347 9.0 17.0
2 李顺琴 延安大学数学与计算机科学学院 30 40 3.0 5.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (92)
共引文献  (55)
参考文献  (14)
节点文献
引证文献  (1)
同被引文献  (9)
二级引证文献  (0)
1990(2)
  • 参考文献(0)
  • 二级参考文献(2)
1993(1)
  • 参考文献(0)
  • 二级参考文献(1)
1994(3)
  • 参考文献(0)
  • 二级参考文献(3)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(5)
  • 参考文献(0)
  • 二级参考文献(5)
1998(16)
  • 参考文献(1)
  • 二级参考文献(15)
1999(8)
  • 参考文献(1)
  • 二级参考文献(7)
2000(22)
  • 参考文献(2)
  • 二级参考文献(20)
2001(8)
  • 参考文献(0)
  • 二级参考文献(8)
2002(9)
  • 参考文献(1)
  • 二级参考文献(8)
2003(6)
  • 参考文献(1)
  • 二级参考文献(5)
2004(2)
  • 参考文献(1)
  • 二级参考文献(1)
2005(4)
  • 参考文献(1)
  • 二级参考文献(3)
2007(2)
  • 参考文献(0)
  • 二级参考文献(2)
2008(5)
  • 参考文献(1)
  • 二级参考文献(4)
2009(2)
  • 参考文献(1)
  • 二级参考文献(1)
2010(5)
  • 参考文献(1)
  • 二级参考文献(4)
2011(4)
  • 参考文献(3)
  • 二级参考文献(1)
2015(1)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(1)
  • 二级引证文献(0)
2015(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
修正的RDP逻辑系统
广义重言式
α-矛盾式
子代数
分划
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与应用
半月刊
1002-8331
11-2127/TP
大16开
北京619信箱26分箱
82-605
1964
chi
出版文献量(篇)
39068
总下载数(次)
102
总被引数(次)
390217
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导