|
|||||
|
|
| ■ukasiewicz命题逻辑系统中的赋值决定公式问题 | |
| 引用本文： | 王国俊,李立峰.■ukasiewicz命题逻辑系统中的赋值决定公式问题[J].陕西师范大学学报,2006(3). |
| 作者姓名： | 王国俊 李立峰 |
| 作者单位： | 陕西师范大学数学与信息科学学院，陕西师范大学数学与信息科学学院 陕西西安710062，西安交通大学基础科学研究中心，陕西西安710049，陕西西安710062 |
| 基金项目： | 国家自然科学基金重点资助项目(10331010) |
| 摘 要： | 为了在经典逻辑学中建立Fuzzy分离规则的推理模式,Zadeh提出了赋值决定公式问题(VDF问题),并已于二值命题逻辑以及Lukasiewicz三值和p 1值命题逻辑中得到解决.文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论,首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件,其次构造性地解决了Ln、La和Lc中的VDF问题. |
| 关 键 词： | Fuzzy分离规则 Lukasiewicz命题逻辑系统 赋值决定公式问题 构造性解 MV代数 |
| 本文献已被 CNKI 等数据库收录！ | |