| 模糊命题演算系统(L)*的简化与独立性 |
| |
| 引用本文： | 裴道武.模糊命题演算系统(L)*的简化与独立性[J].模糊系统与数学,2006,20(1):1-10. |
| |
| 作者姓名： | 裴道武 |
| |
| 作者单位： | 浙江理工大学,数学研究所,浙江,杭州,310018 |
| |
| 基金项目： | 科技部科研项目;中国科学院资助项目 |
| |
| 摘 要： | 模糊逻辑命题演算系统L^＊在模糊逻辑与模糊推理的结合研究中得到了成功的应用。本文进一步研究系统L^＊的语法结构，得到了一些有趣的新结果，特别是给出了它的一个简化形式，并证明了这个简化公理系统的独立性。
|
| 关 键 词： | 模糊逻辑 模糊命题演算系统(L)* 独立性 t-范基逻辑 |
| 文章编号： | 1001-7402（2006）01-0001-10 |
| 收稿时间： | 2005-08-30 |
| 修稿时间： | 2005-08-30 |
Simplification and Independence of the Fuzzy Propositional Calculus System (L)* |
| |
| PEI Dao-wu.Simplification and Independence of the Fuzzy Propositional Calculus System (L)*[J].Fuzzy Systems and Mathematics,2006,20(1):1-10. |
| |
| Authors: | PEI Dao-wu |
| |
| Institution: | Institute of Mathematics, Zhejiang Sci-Tech University, Hangzhou 310018,China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
