F-λ三角模的结构及其应用

• 作者: 丁博 李骏
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 左连续三角模 正则蕴涵算子 F-λ三角模 WNM逻辑系统
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 理论与研发
• 页码范围: 1-5
• 页数: 5页
• 分类号: O141.1
• 字数: 4255字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1402-0441

摘要

讨论了一类左连续的三角模(即,F-λ三角模)的结构,基于F-λ三角模给出了几种新的三角模族及与之相伴随的蕴涵算子族.证明了用此类三角模所建立的逻辑系统正是WNM逻辑系统,讨论了NM,NMG,Godel及RDP三角模与F-λ三角模的关系,并由此出发证明了NM,NMG,Godel及RDP等逻辑系统都是WNM逻辑系统的扩张.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李骏	兰州理工大学理学院	46	395	11.0	19.0
2	丁博	兰州理工大学理学院	2	0	0.0	0.0