R_0代数的对偶代数

对于R0代数,给出了它的一个等价形式,并建立了它的对偶代数,从此刻划了R0代数内部结构的特征,也为从语义的角度进一步研究模糊逻辑系统提供了一个新的途径。

R_0-代数与MV-代数的关系

证明了剩余格和正则剩余格中一些典型的附加条件之间的等价性,引入了正规剩余格的概念并给出了其若干性质。以此为基础,讨论了R0-代数和MV-代数之间的关系。

关于正则剩余格与R_0^-代数的几点注记

正则FI-代数、R0-代数、正则剩余格等代数结构都是非经典逻辑中基本而重要的"语义代数".本文中,进一步研究了它们之间的密切联系.特别地,证明了强正则剩余格与弱R0-代数是相互等价的代数结构.

弱MV-代数与IMTL代数的关系及IMTL公理系统的简化

证明了弱MV-代数与IMTL代数是等价的代数结构;把IMTL公理系统的11条公理简化为8条。