BR 0-代数的表示定理及其简化形式

摘要：

通过对基础模糊命题演算系统BL?及相应的Lindenbaum代数的研究，给出了BR0-代数的格蕴涵表示形式，使得BR0-代数从定义形式上更加符合逻辑代数的特征，突出了BR0-代数和其他逻辑代数的区别与联系，其次，结合MV-代数，R0-代数和BR0-代数的关系给出了MV-代数的BR0-代数表示形式以及BR0-代数的简化形式。

关键词：模糊逻辑、BR0-代数、格蕴涵、MV-代数、R0-代数

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金重点项目11531009；国家自然科学基金面上项目61562016

在线出版日期：2016-04-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：163-170