卢素魁 周子亮 刘大中 李密堂

无比地较小于 链条件 格序群 结合 旋转 逻辑函数 半模偏序集 独立的子集 基 1-广群 特征性质 直觉主义逻辑 等价 希尔伯特型 自由格 阿基米德l-群 命题演算 正交映射 基础元 特征 自然演绎型 参数方程 二次曲线 可构造性 近群 逻辑运算 布劳威尔逻辑 剩余格 戴得金分划 逻辑式

河北大学数学与计算机学院 河北大学计算机科学学院 河北大学 河北大学数学系