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

发布时间：2022-02-09 11:42

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

【文章来源】：模糊系统与数学. 2018,32(05)北大核心

【文章页数】：6 页

【参考文献】：
期刊论文
[1]弱MTL-代数上的几种演绎系统及其商代数[J]. 王伦磊,吴洪博.  模糊系统与数学. 2016(05)
[2]弱MTL代数的演绎系统与同余关系的对应定理[J]. 王霞霞,吴洪博.  济南大学学报(自然科学版). 2015(04)
[3]局部有限BL-代数的素逆演绎系统及性质[J]. 文贤红,吴洪博.  山东大学学报(理学版). 2014(02)
[4]有限格蕴涵代数的零化子[J]. 龙希庆,徐扬.  模糊系统与数学. 2011(03)
[5]推理闭包算子及其诱导的空间[J]. 吴洪博.  西北大学学报(自然科学版). 2008(01)
[6]格蕴涵代数[J]. 徐扬.  西南交通大学学报. 1993(01)



本文编号：3616942