L*系统的公理化扩张

摘要：

通过对模糊逻辑命题演算形式系统L*的代数语义--R0 代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑 (NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张, 具有较好的扩展性.

关键词：R0-代数、系统L*、代数簇、公理化扩张

所属期刊栏目：20

分类号：O101.1

在线出版日期：2006-11-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：20-24