张家锋 张维 罗青林 余泉 杨楠 赵小香 高晓兵 李佳

R0-代数 概念描述树 语义赋值 对偶核 可定义主同余 LINGO 分配格 主理想 完备格 模糊信息 真值表 理想 自反性 改进算法 粗糙集代数 主同余公式 等价关系 属性探索算法 方程 MV-代数 描述逻辑 形式概念分析 格 可满足公式 Duquenne-Guigues基 伪内涵 合式公式 传递性 滤子 关系

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