连续值逻辑系统中的代换定理

• 作者: 杨晓斌 薛贤铭
• 来源期刊: 山东理工大学学报(自然科学版)
• 学科: 数学
• 关键词: 模糊系统 命题逻辑 代换定理
• 年，卷（期）: 2003,（1）
• 页码范围: 76-80
• 页数: 5页
• 分类号: O141.1|O159
• 字数: 2299字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-6197.2003.01.016

摘要

在舍弃了经典逻辑系统中公理L1的基础上建立了一类模糊命题逻辑的准形式演绎系统L*G-R,并在此基础上研究了模糊逻辑系统中的代换定理,为进一步研究模糊命题逻辑系统的完备性奠定了一定的基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨晓斌	上海财经大学应用数学系	7	40	2.0	6.0
2	薛贤铭		4	6	1.0	2.0