|
|||||
|
|
| 形式系统L*的扩张L*n及其完备性 | |
| 引用本文： | 裴道武,王国俊.形式系统L*的扩张L*n及其完备性[J].中国科学(E辑),2003,33(4):350-356. |
| 作者姓名： | 裴道武 王国俊 |
| 作者单位： | 1. 西安交通大学理学院,西安,710049;盐城师范学院数学系,盐城,224002 2. 陕西师范大学数学研究所,西安,710062 |
| 基金项目： | 国家自然科学基金重点资助项目(批准号:19831040) |
| 摘 要： | 将Pavelka语义与语构有机结合的方法运用于命题演算形式系统L*的研究, 在公式集中引入部分常值, 从语义和语构两个途径将公式程度化, 同时将推理过程也程度化, 提出了系统<L*的一个扩张L*n, 证明了L*n的完备性. |
| 关 键 词： | 模糊推理 命题演算系统L*扩张L*n完备性 模糊逻辑 |
| 收稿时间： | 2001-02-28 |
| 修稿时间： | 2002-02-28 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《中国科学(E辑)》浏览原始摘要信息 | |
| 点击此处可从《中国科学(E辑)》下载免费的PDF全文 | |