形式演绎系统 *的扩张

• 作者: 裴道武
• 来源期刊: 四川大学学报(自然科学版)
• 学科: 数学
• 关键词: 模糊逻辑 形式演绎系统 语义 语法 扩张
• 年，卷（期）: 2001,（3）
• 页码范围: 340-345
• 页数: 6页
• 分类号: O141.1
• 字数: 4702字
• 语种: 中文
• DOI: 10.3969/j.issn.0490-6756.2001.03.011

摘要

从语义和语法两个方面将形式演绎系统 *层次化,得到 *的一个扩张,从而增强了系统 *的表达能力,使之能更有效地应用于模糊系统的研究.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	裴道武	四川大学数学学院	8	271	6.0	8.0