|
|||||
|
|
| Lukasiewiczlz p＋1值逻辑系统中VDF问题的解决 | |
| 引用本文： | 宋玉靖. Lukasiewiczlz p＋1值逻辑系统中VDF问题的解决[J]. 数学进展, 2004, 33(5): 607-614 |
| 作者姓名： | 宋玉靖 |
| 作者单位： | 宋玉靖（四川大学数学学院,成都,四川,610064;辽宁师范大学数学系,大连,辽宁,116029） |
| 摘 要： | 为在经典逻辑学中建立Fuzzy分离规则的推理模式,由赋值决定公式问题(简称VDF问题)已经提出,并已于二值命题逻辑以及三值Lukasiewicz命题逻辑中得到了解决,但当w＞3时,VDF问题相当复杂且尚未解决.本文完满地解决了当w=p+1(p为素数)时,Lukasiewicz逻辑系统Lp+1中的VDF问题. |
| 关 键 词： | 分离规则 素数 逻辑系统 命题逻辑 赋值 公式 简称 推理模式 |
| 文章编号： | 1000-0917(2004)05-0607-08 |
| 修稿时间： | 2002-04-23 |
Solution to the VDF Problem in (p + 1)-valued Lukasiewicz System |
|
| Abstract: | |
| Keywords: | |