王驹 张维 曹发生 甘晓丽 周锦程 赵小香

描述逻辑 MALC 降链条件 合式公式 概念描述树 分配格 偏序集 主理想 格 可满足公式 Duquenne-Guigues基 算法 极小条件 互模拟 属性探索算法 LINGO 归纳法 代数结构 主同余公式 知识领域 同态 归纳条件 理想 可定义主同余 素理想

黔南民族师范学院数学系 毕节学院数学系逻辑与应用逻辑研究所 毕节学院逻辑、语言与认知研究中心