当前位置:主页 > 社科论文 > 逻辑论文 >

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

资料下载
论文发表

本文链接:https://www.wllwen.com/shekelunwen/ljx/3616942.html


Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明:资料由用户df02e***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com