命题逻辑系统在非经典数理逻辑中起着重要的作用,模糊逻辑命题系统MTL是在BL命题逻辑系统的基础上推广的更为广泛的重要系统,本文在基本命题逻辑系统MTL中对其不同的方面进行了研究.首先,将理论的结论引入MTL系统中,研究了理论的结论,真结论及完全结论的进一步性质,并在MTL系统中讨论了理论的结论与强同余关系之间的联系;其次,在MTL系统中引入单点余零化算子和多点余零化算子,并给出了一个公式φ和理论的余零化子的概念,同时研究了相应余零化子的一些基本性质;最后,讨论了 MTL系统中余零化子和结论之间的相互关系,证明了 MTL逻辑系统中一个结论A的余零化子是完全结论的充要条件.以下是本文的章节安排和主要内容:第一章:预备知识.本章给出了MTL命题逻辑系统中的一些相关概念和基本性质,包括剩余格,MTL-代数,MTL逻辑系统及其相关的语义理论等.第二章:MTL命题逻辑系统中理论的结论及其相关性质的研究.本章首先在MTL命题逻辑系统中引入了结论算子和理论的结论的定义,其次对结论的进一步性质做了研究,同时在MTL命题逻辑系统中给出了强同余关系的定义,并讨论了理论的结论和强同余关系之间的相互决定办法.第三章:MTL命题逻辑系统中余零化算子和相应的余零化子及其性质.本章给出了 MTL系统的单点余零化算子和多点余零化算子的定义,并研究了相应的余零化子及其性质.第四章:MTL命题逻辑系统中理论的结论与余零化子之间的关系.本章在MTL命题逻辑系统中研究了余零化子与理论的结论,真结论和完全结论之间的关系,特别地,证明了 MTL逻辑系统中一个结论A的余零化子是完全结论的充要条件。