强同余关系相关论文
BL命题逻辑系统是一个相对完备的逻辑系统,对BL命题逻辑系统的研究是数理逻辑的一个重要研究方向,为了进一步研究BL逻辑系统,本文......
通过在B L命题逻辑系统的公式集F（ S） 中提出演绎系统的概念,并引入强同余关系,讨论B L系统中演绎系统和强同余关系之间的联系,给出......
MTL-代数是通过在剩余格中添加预线性公理得到的一类重要的基础逻辑代数，该文通过在剩余格中添加弱预线性公理建立了WMTL-代数,并对......
