论文部分内容阅读
通过对模糊逻辑命题演算形式系统￡^＊的代数语义——R0代数的研究，给出了R0代数簇的完整分类，并利用L^＊系统与幂零极小逻辑（NML）的等价性，由系统L^＊是可代数化逻辑出发，得到与R0代数真子簇对应的￡^＊系统的全部公理化扩张，文中所用的方法用样适用于其他满足逆序对舍关系的逻辑的扩张，具有较好的扩展性。