吕明富 胡占宁 闫学群 孟冬冬 谭天荣 庄云标 郑渝 薛朝奎 戚桢 王文良 王保社 刘淼 王俊龙 刘晓东

帛易下体经卦 帛易上体经卦 太极代数 偏序关系 基本性质 逻辑代数 多义句 赋值 形式逻辑 有单位元的环 命题 分子 部分运算 范式 等值关系 数理逻辑 集合论 n元真值函数集 对偶原理 消去律 辩证逻辑 哥德尔 集合代数 紧致性 重言式 等价 偏序集 三卡悖论 “金刚石”型 最小上界