(￡)*系统中的模糊演绎定理的改进形式

• 作者: 吴洪博 王小敏 韩诚
• 来源期刊: 四川大学学报（自然科学版）
• 学科: 数学
• 关键词: 模糊逻辑 (￡)*系统 圈乘算子 演绎定理
• 年，卷（期）: 2005,（1）
• 页码范围: 27-32
• 页数: 6页
• 分类号: O141.1
• 字数: 4596字
• 语种: 中文
• DOI: 10.3969/j.issn.0490-6756.2005.01.006

摘要

研究了模糊命题演算的形式演绎系统(￡)*.对其中的演绎定理进行了详细讨论,得到了在一定条件下的(￡)*系统中的演绎定理:设A,B∈F(S),若|-(q→-p ∨ p)∨q→A,Г(￡)F(S),则Г|-A→B当且仅当Г∪{A}|-B.将(￡)*系统中的模糊演绎定理进行了改进,进一步说明了(￡)*系统所具有的良好性质.同时,在本文定理的证明中进一步体现了(￡)*系统中的公理L10在模糊命题演算形式演绎系统中的作用,为模糊命题演算的形式演绎系统的研究,特别是L10的应用研究提供了一种新的思路和方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学研究所	194	656	12.0	16.0
2	韩诚	陕西师范大学数学研究所	5	42	4.0	5.0
3	王小敏	陕西师范大学数学研究所	3	4	1.0	2.0