|
|||||
|
|
| MTL 代数的 Wajsberg 形式及其应用 | |
| 引用本文： | 寇海燕,吴洪博.MTL 代数的 Wajsberg 形式及其应用[J].山东大学学报(理学版),2015(2). |
| 作者姓名： | 寇海燕 吴洪博 |
| 作者单位： | 陕西师范大学数学与信息科学学院,陕西 西安,710062 |
| 基金项目： | 国家自然科学基金资助项目 |
| 摘 要： | MTL 代数是一种重要的基础逻辑代数。本文采用 Wajsberg 方法，根据逻辑系统 MTL 中公理的形式，建立了 NMTL 代数的经典代数表示形式，进而证明了 NMTL 代数与 MTL 代数是同一代数结构，证明了满足条件x，y∈L，x→y ＝（y→0）→（x→0）的 NMTL 代数 L 是 BR0代数。在此基础上证明了 IMTL 代数和 BR0代数是同一代数结构，并给出 BR0代数和 BL 代数的 Wajsberg 形式。 |
| 关 键 词： | 模糊逻辑 剩余格 NMTL代数 MTL代数 BR0代数 BL代数 |
| 本文献已被 万方数据 等数据库收录！ | |