|
|||||
|
|
| 参数LP系统的三I算法与α-三I算法 | |
| 作者姓名： | 王庆平 张兴芳 |
| 作者单位： | 聊城大学 数学科学学院，山东 聊城 252059 |
| 摘 要： | 给出了连续三角模族T_(p-L)及其伴随蕴涵算子族R_(p-L)的定义,并且给出了逻辑系统LP的定义;证明了逻辑系统LP与逻辑系统L的等价性,在此基础上给出了基于蕴涵算子族R_(p-L)的三I算法与α-三I算法。 |
| 关 键 词： | 系统LP 蕴涵算子族R_(p-L) 三I算法 α-三I算法 |
| 修稿时间： | |
| 本文献已被 维普 等数据库收录！ | |
| 点击此处可从《计算机科学与探索》浏览原始摘要信息 | |
| 点击此处可从《计算机科学与探索》下载免费的PDF全文 | |
