| Lukasiewicz系统中反向三I算法的形式解 |
| |
| 引用本文： | 刘东利,段樱桃.Lukasiewicz系统中反向三I算法的形式解[J].内江师范学院学报,2010,25(4):5-8. |
| |
| 作者姓名： | 刘东利 段樱桃 |
| |
| 作者单位： | 1. 集美大学诚毅学院,福建,厦门,361021
2. 湛江师范学院数学与计算科学学院,广东,湛江,524048;乐山师范学院数学与信息科学学院,四川,乐山,614004 |
| |
| 基金项目： | 四川省教育厅科研项目(08ZA132) |
| |
| 摘 要： | 通过一个F（S）上的预序，提出了反向MP问题，多重反向MP问题以及反向MT问题，多重反向MT问题．在Lukasiewicz命题逻辑系统中讨论并得到了以上问题的解，说明了在某种意义下，这些解和反向三I算法的结果一致，从而在Lukasiewicz逻辑系统中实现了反向三I算法的形式化推理机制．
|
| 关 键 词： | 反向MP问题 反向MT问题 Lukasiewicz命题逻辑系统 形式解 |
Formal Solutions for Reverse Triple-I Algorithm in (L)ukasiewicz System |
| |
| LIU Dong-li,DUAN Ying-tao.Formal Solutions for Reverse Triple-I Algorithm in (L)ukasiewicz System[J].Journal of Neijiang Teachers College,2010,25(4):5-8. |
| |
| Authors: | LIU Dong-li DUAN Ying-tao |
| |
| Institution: | 1.College of Chengyi/a>;Jimei University/a>;Xiamen/a>;Fujian 361021/a>;China/a>;2.College of Mathematics and Computation Science/a>;Zhanjiang Normal University/a>;Zhanjiang/a>;Guangdong 524048/a>;3.College of Mathematics and Information Science/a>;Leshan Normal University/a>;Leshan/a>;Sichuan 614004/a>;China |
| |
| Abstract: | The reverse MP problems, the multiplex inverse MP problems and the multiplex reverse MT problems were all put forth on the basis of a pre-order on F（S）. These problems are discussed in Lukasiewicz System propositional logical system andtheir solutions are thus obtained. It is also classified that in certain sense, these solutions are consistent with the results obtained through Reverse Triple-I Algorithm. Therefore, the formal reasoning system of reverse triple-I algorithms is realized in tukasiewicz propositional logical system. |
| |
| Keywords: | reverse MP reverse MT Lukasiewicz propositional logical system formal solutions |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
