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