命题逻辑系统SMTL中公式的积分真度理论

• 作者: 姚锦涛 李骏
• 来源期刊: 电子学报
• 学科: 数学
• 关键词: 积分真度 强左连续t-模 强正则蕴涵算子 SMTL命题逻辑系统 伪度量
• 年，卷（期）: 2013,（5）
• 所属期刊栏目: 学术论文
• 页码范围: 878-883
• 页数: 6页
• 分类号: O142
• 字数: 5289字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2013.05.008

摘要

首先给出了强左连续t-模和SMTL命题逻辑系统的定义,证明了左连续的t-模为强左连续t-模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子；其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则；最后,基于公式的积分真度在SMTL命题逻辑系统的全体公式集上引入了一种伪距离,提出了三种近似推理机制,从而使得在SMTL命题逻辑系统的统一框架下展开近似推理成为可能.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李骏	兰州理工大学理学院	46	395	11.0	19.0
2	姚锦涛	兰州理工大学理学院	1	15	1.0	1.0