朱梧槚 顾红芳 朱剑英 朱朝晖 肖文洁 白鹏

证明论 怀疑等价 数理逻辑 拟怀疑等价 清晰化算符 谓词演算 中介命题演算 全称量词 递归论 逻辑演算 认知态 存在量词 中介谓词演算 模型论 真值程度词 相似 集合论 命题演算 非经典逻辑

南京大学数学系 南京大学空军气象学院 空军气象学院 南京航空航天大学信息科学与技术学院 解放军理工大学理学院