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

作者：刘东利

来源：模糊系统与数学, 2020, 34(01): 49-55.

• α-三Ⅰ约束问题
• 形式解
• 逻辑系统

提出了α-三Ⅰ约束问题,并在逻辑系统L*和Luk中给出了这些问题的形式解,建立了这两个逻辑系统中三Ⅰ约束算法的形式推理机制,为α-三Ⅰ约束算法建立了严格的理论基础。

• 单位
  集美大学诚毅学院