|
|||||
|
|
| 模糊命题演算系统■~*的简化与独立性 | |
| 引用本文： | 裴道武.模糊命题演算系统■~*的简化与独立性[J].模糊系统与数学,2006(1). |
| 作者姓名： | 裴道武 |
| 作者单位： | 浙江理工大学数学研究所 浙江杭州310018 |
| 基金项目： | 国家973项目(2003CB316902)，国家自然科学基金资助项目(No.60475019) |
| 摘 要： | 模糊逻辑命题演算系统■*在模糊逻辑与模糊推理的结合研究中得到了成功的应用。本文进一步研究系统■*的语法结构,得到了一些有趣的新结果,特别是给出了它的一个简化形式,并证明了这个简化公理系统的独立性。 |
| 关 键 词： | 模糊逻辑 模糊命题演算系统■* 独立性 t范-基逻辑 |
| 本文献已被 CNKI 等数据库收录！ | |