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