论文部分内容阅读
MTL-代数是通过在剩余格中添加预线性公理得到的一类重要的基础逻辑代数，该文通过在剩余格中添加弱预线性公理建立了WMTL-代数,并对它的性质进行了细致讨论.首先,通过在剩余格中添加弱预线性公理的方法引入了WMTL-代数的概念，讨论了剩余格，WMTL-代数，MTL-代数的区别与联系；其次,在WMTL-代数中引入了蕴涵滤子的概念,并通过引入增强集给出了蕴涵滤子的等价刻画及蕴涵滤子的生成方法;第三,在WMTL-代数中引入了强同余关系的概念,给出了蕴涵滤子和强同余关系相互确定的方法:第四,证明了WMTL-代数的蕴