模糊命题演算系统(L)*的简化与独立性

• 作者: 裴道武
• 来源期刊: 模糊系统与数学
• 学科: 数学
• 关键词: 模糊逻辑 模糊命题演算系统(L)* 独立性 t-范基逻辑
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 模糊集理论
• 页码范围: 1-10
• 页数: 10页
• 分类号: O141.1
• 字数: 6220字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-7402.2006.01.001

摘要

模糊逻辑命题演算系统L*在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文进一步研究系统L*的语法结构, 得到了一些有趣的新结果, 特别是给出了它的一个简化形式, 并证明了这个简化公理系统的独立性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	裴道武	浙江理工大学数学研究所	50	195	8.0	13.0