位置:成果数据库 > 期刊 > 期刊详情页
语言真值格蕴涵代数的蕴涵不可约元
  • ISSN号:0372-2112
  • 期刊名称:电子学报
  • 时间:2014.10.15
  • 页码:1998-2003
  • 分类:O141.1[理学—数学;理学—基础数学] O153[理学—数学;理学—基础数学]
  • 作者机构:[1]西南交通大学基础课部(峨眉校区),四川峨眉614202, [2]西南交通大学智能控制开发中心九里校区,四川成都610031
  • 相关基金:国家自然科学基金(No.60875034;No.61175055;No.11171308); 四川省科技支撑计划(No.2011FZ0051)
  • 相关项目:基于格值逻辑的α-n(t)元归结动态自动推理研究
作者: 赖家俊|徐扬|
中文摘要:

本文提出了语言真值格蕴涵代数的蕴涵不可约元、有限蕴涵分解元、有限蕴涵分解不可约元的定义,并研究了它们的结构特征,证明了语言真值格蕴涵代数中的部分元素可由蕴涵不可约元通过张量积运算生成.

英文摘要:

The implicational irreducible elements,finite implicational decomposable elements and finite implicational decomposable irreducible elements based on linguistic truth-valued lattice implication algebra w ere discussed in this paper,their structure characteristics w ere investigated about implicational irreducible elements,finite implicational decomposable elements,and finite implicational decomposable irreducible elements,and it is proved that a part elements of linguistic-valued lattice implication algebra w ere generated by tensor product operation.

同期刊论文项目
期刊论文 279 会议论文 102 获奖 8
期刊论文 46 会议论文 3 著作 2
同项目期刊论文
期刊信息
  • 《电子学报》
  • 中国科技核心期刊
  • 主管单位:中国科学技术协会
  • 主办单位:中国电子学会
  • 主编:郝跃
  • 地址:北京165信箱
  • 邮编:100036
  • 邮箱:new@ejournal.org.cn
  • 电话:010-68279116 68285082
  • 国际标准刊号:ISSN:0372-2112
  • 国内统一刊号:ISSN:11-2087/TN
  • 邮发代号:2-891
  • 获奖情况:
  • 2000年获国家期刊奖,2000年获国家自然科学基金志项基金支持,中国期刊方阵“双高”期刊
  • 国内外数据库收录:
  • 美国化学文摘(网络版),荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),英国英国皇家化学学会文摘,中国北大核心期刊(2000版)
  • 被引量:57611