∧~*系统的公理化扩张 |
| |
引用本文: | 韩诚.∧~*系统的公理化扩张[J].模糊系统与数学,2006(5). |
| |
作者姓名: | 韩诚 |
| |
作者单位: | 盐城师范学院数学系 江苏盐城224001 |
| |
摘 要: | 通过对模糊逻辑命题演算形式系统L*的代数语义——R0代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑(NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张,具有较好的扩展性。
|
关 键 词: | R0-代数 系统∧* 代数簇 公理化扩张 |
本文献已被 CNKI 等数据库收录! |
|