| α-三Ⅰ约束问题的形式解 |
| |
| 引用本文： | 刘东利.α-三Ⅰ约束问题的形式解[J].模糊系统与数学,2020,34(1):49-55. |
| |
| 作者姓名： | 刘东利 |
| |
| 作者单位： | 集美大学诚毅学院,福建厦门361021 |
| |
| 基金项目： | 福建省教育厅中青年教师教育科研项目;福建省教育厅中青年教师教育科研项目 |
| |
| 摘 要： | 提出了α-三Ⅰ约束问题,并在逻辑系统L~*和Luk中给出了这些问题的形式解,建立了这两个逻辑系统中三Ⅰ约束算法的形式推理机制,为α-三Ⅰ约束算法建立了严格的理论基础。
|
| 关 键 词： | α-三Ⅰ约束问题 形式解 逻辑系统 |
The Formal Solution to α-triple Ⅰ Restriction Methods |
| |
| LIU Dong-li.The Formal Solution to α-triple Ⅰ Restriction Methods[J].Fuzzy Systems and Mathematics,2020,34(1):49-55. |
| |
| Authors: | LIU Dong-li |
| |
| Institution: | (College of Chengyi,Jimei University,Xiamen 361021,China) |
| |
| Abstract: | The problems of α-triple Ⅰ restriction are given, and the concrete form solutions for these problems are obtained in the logic systems L~* and Luk. Therefore,formal reasoning system of α-triple I restriction methods are provided. The work in the present paper lays a logical foundation for α-triple Ⅰ restriction methods. |
| |
| Keywords: | α-triple Ⅰ Restriction Problems Formalized Solutions Logic Systems |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
