位置:成果数据库 > 期刊 > 期刊详情页
MV代数定义的蕴涵简化形式
  • 期刊名称:模糊系统与数学,20(2006)6:1-7
  • 时间:0
  • 分类:O159[理学—数学;理学—基础数学] O153[理学—数学;理学—基础数学]
  • 作者机构:[1]陕西师范大学数学研究所,陕西西安710062
  • 相关基金:国家自然科学基金资助项目(10471083);陕西师范大学重点科研基金资助项目(995130);陕西师范大学研究生培养创新基金资助项目(2006CXS017)
  • 相关项目:Quantale理论中若干问题的研究
作者: 刘敏,吴洪博
中文摘要:

通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从蕴涵角度出发。给出了MV代数的两种简化定义;(2)提出了弱格蕴涵代数的概念,并证明了它与BR。代数等价;(3)证明了弱格蕴涵代数是正则Fuzzy蕴涵代数。

英文摘要:

Through study of MV-algebra and the Lukasiewiez propositional calculus system, we have simplified the definition of MV-algebra and investigated the relation among some logic algebras, the main results of the paper are: (1) Two equivalent simplifies forms of MV-algebra are obtained ; (2) The concept of Weak Lattice Implication-Algebra is proposed, and the equivalence between BR0-algebra and Weak Lattice Implication-Algebra is proved; (3) It is proved that Weak Lattice Implication-Algebra is Regular Fuzzy Implication-Algebra.

同期刊论文项目
期刊论文 78 会议论文 4 著作 1
同项目期刊论文