α-三Ⅰ约束问题的形式解  

The Formal Solution to α-triple Ⅰ Restriction Methods

作　　者：刘东利[1] LIU Dong-li(College of Chengyi,Jimei University,Xiamen 361021,China)

机构地区：[1]集美大学诚毅学院,福建厦门361021

出　　处：《模糊系统与数学》2020年第1期49-55,共7页Fuzzy Systems and Mathematics

基　　金：福建省教育厅中青年教师教育科研项目(科技类)(JAT170914,JAT170917)。

摘　　要：提出了α-三Ⅰ约束问题,并在逻辑系统L~*和Luk中给出了这些问题的形式解,建立了这两个逻辑系统中三Ⅰ约束算法的形式推理机制,为α-三Ⅰ约束算法建立了严格的理论基础。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.

关 键 词：α-三Ⅰ约束问题 形式解 逻辑系统 

分 类 号：O141[理学—数学]