| ￡^＊系统的公理化扩张 |
| |
| 引用本文： | 韩诚.￡^＊系统的公理化扩张[J].模糊系统与数学,2006,20(5):20-24. |
| |
| 作者姓名： | 韩诚 |
| |
| 作者单位： | 盐城师范学院数学系,江苏盐城224001 |
| |
| 摘 要： | 通过对模糊逻辑命题演算形式系统￡^＊的代数语义——R0代数的研究，给出了R0代数簇的完整分类，并利用L^＊系统与幂零极小逻辑（NML）的等价性，由系统L^＊是可代数化逻辑出发，得到与R0代数真子簇对应的￡^＊系统的全部公理化扩张，文中所用的方法用样适用于其他满足逆序对舍关系的逻辑的扩张，具有较好的扩展性。
|
| 关 键 词： | R0-代数 系统￡^＊ 代数簇 公理化扩张 |
| 文章编号： | 1001-7402（2006）05.0020.05 |
| 收稿时间： | 2006-03-09 |
| 修稿时间： | 2006年3月9日 |
Axiomatic Extentions of
the Formal Deductive System |
| |
| HAN Cheng.Axiomatic Extentions of
the Formal Deductive System[J].Fuzzy Systems and Mathematics,2006,20(5):20-24. |
| |
| Authors: | HAN Cheng |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 等数据库收录！ |
|
