赖楚生 李未 李祥 林作铨 苏锦祥 黄文奇 陈志祥

永真性 空子句 半序关系 超协调逻辑 连通子图 广义凸语言 分治算法 经典逻辑 非单调逻辑 关系图 弱凸 性问题 三值逻辑 超协调性 谓词逻辑 字母表 分层 平凡性 语言族 NP完全问题 判定问题 定义 相干逻辑 快速算法