|
|||||
|
|
| L*系统的公理化扩张 | |
| 引用本文： | 韩诚.L*系统的公理化扩张[J].模糊系统与数学,2006,20(5). |
| 作者姓名： | 韩诚 |
| 摘 要： | 通过对模糊逻辑命题演算形式系统L*的代数语义--R0 代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑 (NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张, 具有较好的扩展性. |
| 关 键 词： | R0-代数 系统L* 代数簇 公理化扩张 |
Axiomatic Extentions of the Formal Deductive System L* |
|
| HAN Cheng.Axiomatic Extentions of the Formal Deductive System L*[J].Fuzzy Systems and Mathematics,2006,20(5). | |
| Authors: | HAN Cheng |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |