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

• 作者: 吴洪博 葛菁
• 来源期刊: 模糊系统与数学
• 学科: 数学
• 关键词: 命题逻辑系统MTL 理论 余零化子 结论 相互关系
• 年，卷（期）: 2018,（5）
• 所属期刊栏目: 模糊集理论
• 页码范围: 35-40
• 页数: 6页
• 分类号: O142
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博		194	656	12.0	16.0
2	葛菁		1	0	0.0	0.0