基础J^*系统的一种扩张—Lukasiewicz系统 |
| |
引用本文: | 吴洪博,文秋梅.基础J^*系统的一种扩张—Lukasiewicz系统[J].模糊系统与数学,2002,16(2):52-57. |
| |
作者姓名: | 吴洪博 文秋梅 |
| |
摘 要: | 研究模糊命题演算的形式演绎系统J^*和Lukasiewicz命题演算系统Lu,提出基础系统J^*-BJ^*系统,证明BJ^*系统的一种扩张与Lukasiewicz系统之间的等价性,从而为J^*系统和BJ^*系统提供了一个应用实例。
|
关 键 词: | 模糊逻辑 命题演算 基础J^*系统 Lukasiewicz系统 |
本文献已被 维普 等数据库收录! |
|