基于mbr代数的mtl代数的表现形式-西南大学学报.pdfVIP

( ) 第 卷第 期 西 南 大 学 学 报 自然科学版 年 月 35 12 2013 12 ( ) Vol.35 No.12 JournalofSouthwestUniversit NaturalScienceEdition Dec. 2013 y 文章编号: ( ) 1673 9868201312 0048 05 基于MBR0 代数的MTL 代数的表现形式① 汪 宁, 吴洪博 , 陕西师范大学 数学与信息科学学院 西安 710062 : , 摘要 首先根据WBR0 代数的定义和对偶范畴的思想建立了MBR0 代数结构 证明了MBR0 代数结构是交半格 ; , , 结构 再对 MBR0 代数结构添加运算及相应条件 得到强MBR0 代数结构 证明了强MBR0 代数结构是剩余交 ; , 半格结构 最后 给出了强MBR0 代数是 MTL 代数的充要条件. : ; ; ; ; 关 键 词 模糊逻辑 逻辑代数 代数 代数 代数 WBR0 MBR0 MTL 中图分类号:O141.1 文献标志码:A [1-11] [12-14] , , 随着模糊命题逻辑系统的发展 各种模糊逻辑代数相继出现 它们的共同特点是以格结构 [] [] 为基础 文献 提出了形式系统 及相应的 代数 文献 根据 代数的无序表示形式提 . 3 MTL MTL . 7 BR0 , 、 出了WBR0 代数.WBR0 代数中体现正则性的条件对于一般逻辑代数而言要求较强 例如 BL 代数 、 , 代数 代数等逻辑代数均不满足正则性 因此 当考虑 代数结构的较为广泛的应 MTL Hetin . WBR y g 0 , 用时 需要将正则性条件进行弱化或舍弃 本文首先根据 代数的定义和对偶范畴的思想建立了 . WBR0 ,