|
|||||
|
|
| (L)ukasiewicz命题逻辑系统中的赋值决定公式问题 | |
| 引用本文： | 王国俊,李立峰.(L)ukasiewicz命题逻辑系统中的赋值决定公式问题[J].陕西师范大学学报,2006,34(3):1-8. |
| 作者姓名： | 王国俊 李立峰 |
| 作者单位： | [1]陕西师范大学数学与信息科学学院,陕西西安710062 [2]西安交通大学基础科学研究中心,陕西西安710049 |
| 摘 要： | 为了在经典逻辑学中建立Fuzzy分离规则的推理模式，Zadeh提出了赋值决定公式问题（VDF问题），并已于二值命题逻辑以及Lukasiewicz三值和p＋1值命题逻辑中得到解决．文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论，首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件，其次构造性地解决了Ln、La和Lc中的VDF问题． |
| 关 键 词： | Fuzzy分离规则 (L)ukasiewicz命题逻辑系统 赋值决定公式问题 构造性解 MV代数 |
| 文章编号： | 1672-4291（2006）03-0001-08 |
| 收稿时间： | 2006-01-18 |
Valuationally decided formula question in (L)ukasiewicz propositional logic systems |
|
| WANG Guo-jun,LI Li-feng.Valuationally decided formula question in (L)ukasiewicz propositional logic systems[J].Journal of Shaanxi Normal University: Nat Sci Ed,2006,34(3):1-8. | |
| Authors: | WANG Guo-jun LI Li-feng |
| Abstract: | |
| Keywords: | fuzzy modus ponens Lukasiewicz propositional logic system valuationally decided formula question constructive solution MV algebra |
| 本文献已被 维普 万方数据 等数据库收录！ | |