加急见刊

MTL命题逻辑系统中理论的结论和余零化子及其相互关系

葛菁; 吴洪博 陕西师范大学数学与信息科学学院; 陕西西安710062

摘要：本文在基本命题逻辑系统MTL中主要对理论的余零化子和结论的性质及其相互关系进行了研究。首先,在MTL系统中给出了理论的余零化子的概念,讨论了理论的余零化子的一些基本性质;其次,对MTL系统中理论的结论的性质进行了进一步研究;最后,讨论了MTL系统中理论的余零化子和结论之间的相互关系。

注: 保护知识产权,如需阅读全文请联系模糊系统与数学杂志社