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

The Co-annihilators and the Conclusions of Theories of Propositional Logic System MTL with Their Correlation

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

In the present paper,the properties of co-annihilator and conclusion of a given theory and the relationship between them are studied in propositional logic system MTL.Firstly,the concept of the co-annihilator for a given theory is proposed in propositional logic system MTL,and several basic properties of co-annihilator are revealed;Secondly,the further properties of conclusion of theory in propositional logic system MTL are discussed;Finally,the relationship between co-annihilators and conclusions is investigated in propositional logic system MTL.