摘要
提出了α-三Ⅰ约束问题,并在逻辑系统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.
作者
刘东利
LIU Dong-li(College of Chengyi,Jimei University,Xiamen 361021,China)
出处
《模糊系统与数学》
北大核心
2020年第1期49-55,共7页
Fuzzy Systems and Mathematics
基金
福建省教育厅中青年教师教育科研项目(科技类)(JAT170914,JAT170917)。
关键词
α-三Ⅰ约束问题
形式解
逻辑系统
α-triple Ⅰ Restriction Problems
Formalized Solutions
Logic Systems
