BL*系统和IMTL系统等价性的语构证明

• 作者: 吴洪博 周建仁
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 模糊逻辑 语构理论 IMTL命题系统 BL*命题系统 等价性
• 年，卷（期）: 2016,（5）
• 所属期刊栏目: 理论与研发
• 页码范围: 41-46
• 页数: 6页
• 分类号: O141.1
• 字数: 3802字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1405-0166

摘要

BL*命题演算形式演绎系统和IMTL命题演算形式演绎系统是从不同的角度出发建立的两种基础模糊命题演算的形式演绎系统.对两者进行了较细致的比较研究,从语构方面证明了两种命题演算形式演绎系统的等价性,从而进一步明确了基础命题演算形式演绎系统BL*系统,MTL系统,BL系统,IMTL系统之间的联系,为各种模糊命题演算形式演绎系统的研究提供了一个有益的参考.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0
2	周建仁	河西学院数学与统计学院	8	3	1.0	1.0