位置:成果数据库 > 期刊 > 期刊详情页
弱MTL-代数上的几种演绎系统及其商代数
  • ISSN号:1001-7402
  • 期刊名称:《模糊系统与数学》
  • 时间:0
  • 分类:O141[理学—数学;理学—基础数学]
  • 作者机构:陕西师范大学数学与信息科学学院,陕西西安710062
  • 相关基金:国家自然科学基金重点项目(11531009);国家自然科学基金面上项目(61572016);中央高校基本科研业务费专项资金项目(GK201501001)
中文摘要:

首先,本文讨论了弱MTL-代数的性质,并给出弱MTL-代数的等价刻画;其次,将蕴涵演绎系统的概念引入到弱MTL-代数中,并研究了演绎系统与蕴涵演绎系统的关系,且给出蕴涵演绎系统的几个等价条件;最后,讨论了弱MTL-代数中的演绎系统和同余关系之间的相互决定的关系,并证明了在弱MTL-代数中一个蕴涵演绎系统是素的当且仅当由其诱导的商代数是全序的弱MTL-代数。

英文摘要:

Firstly, in the present paper, some properties of weak MTL algebras are discussed, and several characterizations of weak MTL algebras are revealed. Secondly, the concept of implicative deductive systems is introduced into weak MTL algebras, and the relationships between deductive systems and implicative deductive systems are investigated, and some equivalent conditions of implicative deductive systems are given. Finally, the connection between deductive systems and congruence relations is discussed, it is proved that in a weak MTL algebra a implicative deductive system is prime if and only if the quotient algebra determined by itself is a liner weak MTL algebra.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《模糊系统与数学》
  • 中国科技核心期刊
  • 主管单位:国防科技大学
  • 主办单位:国防科技大学理学院 国防科技大学理学院
  • 主编:刘应明
  • 地址:湖南长沙国防科技大学理学院
  • 邮编:410073
  • 邮箱:fuzzysys@cfsm.cn
  • 电话:0731-84576220
  • 国际标准刊号:ISSN:1001-7402
  • 国内统一刊号:ISSN:43-1179/O1
  • 邮发代号:42-180
  • 获奖情况:
  • 美国《数学评论》(Mathematical Reviews)核心引...,中国科技论文统计源期刊,《中国科学引文数据库》来源期刊
  • 国内外数据库收录:
  • 美国数学评论(网络版),德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版)
  • 被引量:8133