| (￡)*系统中的模糊演绎定理的改进形式 |
| |
| 引用本文： | 吴洪博,王小敏,韩诚.(￡)*系统中的模糊演绎定理的改进形式[J].四川大学学报(自然科学版),2005,42(1). |
| |
| 作者姓名： | 吴洪博 王小敏 韩诚 |
| |
| 作者单位： | 陕西师范大学数学研究所,西安,710062;陕西师范大学数学研究所,西安,710062;陕西师范大学数学研究所,西安,710062 |
| |
| 基金项目： | 国家自然科学基金，陕西师范大学校科研和教改项目 |
| |
| 摘 要： | 研究了模糊命题演算的形式演绎系统(￡)*.对其中的演绎定理进行了详细讨论,得到了在一定条件下的(￡)*系统中的演绎定理:设A,B∈F(S),若|-(q→-p ∨ p)∨q→A,Г(￡)F(S),则Г|-A→B当且仅当Г∪{A}|-B.将(￡)*系统中的模糊演绎定理进行了改进,进一步说明了(￡)*系统所具有的良好性质.同时,在本文定理的证明中进一步体现了(￡)*系统中的公理L10在模糊命题演算形式演绎系统中的作用,为模糊命题演算的形式演绎系统的研究,特别是L10的应用研究提供了一种新的思路和方法.
|
| 关 键 词： | 模糊逻辑 (￡)*系统 圈乘算子 演绎定理 |
| 本文献已被 万方数据 等数据库收录！ |
|
