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

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

作　　者：葛菁 吴洪博[1] GE Jing;WU Hong-bo(College of Mathematics and Information Science,Shaanxi Normal University,Xi'an710062,China)

机构地区：[1]陕西师范大学数学与信息科学学院,陕西西安710062

出　　处：《模糊系统与数学》2018年第5期35-40,共6页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(61572016;11531009;61673250)

摘　　要：本文在基本命题逻辑系统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.

关 键 词：命题逻辑系统MTL 理论 余零化子 结论 相互关系 

分 类 号：O142[理学—数学]