论文部分内容阅读
模糊逻辑研究的一个显著特点是逻辑学与代数学的相互渗透与融合,强有力的代数方法已经成为模糊逻辑研究的主要工具。反过来模糊逻辑的发展又为代数学开辟了全新的研究领域。模糊逻辑代数可以看作是有界DRL半群的特殊情形,WDRL半群是在DRL半群的基础上提出的.本文探讨了WDRL半群的性质,WDRL半群与MTL代数的关系及有界WDRL半群的理想和同余,还研究了有界WDRL半群的同态和局部有界WDRL半群等等。
下面介绍本文的结构和主要内容。
第一章:主要介绍了研究背景,本文的主要工作及预备知识。
第二章:在WDRL半群已有性质的基础上进一步探讨了其性质,在WDRL半群中定义了一元﹁运算和二元⊕、→运算,并讨论了WDRL半群在运算定义下具有的性质;在MTL代数中定义了二元+、-运算,相应讨论了MTL代数在运算定义下具有的性质。进一步分析了WDRL半群和MTL代数之间的关系,证明了它们在一定条件下是范畴等价的。
第三章:给出了有界WDRL半群理想的定义及其等价定义。给出了素理想,极大理想及生成理想的定义;研究了它们的性质及相互之间的关系。给出了局部有界WDRL半群的定义,并讨论了局部有界WDRL半群的性质和有界WDRL半群成为局部有界WDRL半群的充要条件等等,另外还介绍了有界WDRL半群的同余,同态和零化子,并结合理想讨论出一些结论。