强同余关系相关论文
BL命题逻辑系统是一个相对完备的逻辑系统,对BL命题逻辑系统的研究是数理逻辑的一个重要研究方向,为了进一步研究BL逻辑系统,本文......
MTL-代数是通过在剩余格中添加预线性公理得到的一类重要的基础逻辑代数，该文通过在剩余格中添加弱预线性公理建立了WMTL-代数,并对......
