近日，教育部社科司公布了2024年教育部人文社会科学研究一般项目的立项名单，我院应用数学系王军涛副教授申报的课题《一元子结构谓词逻辑的命题演算形式化研究》获批青年基金项目，这是我院教师首次获批教育部人文社会科学研究项目，该项目的获批是我院积极落实学校学科建设工作会议的相关要求，推动学科交叉融合的具体体现。
该项目拟借助一元子结构谓词逻辑与相应S5型命题模态逻辑的等价性，以命题模态逻辑S5(FLew)为基础建立一元子结构谓词逻辑的代数语义，将突破现有文献直接建立一元子结构谓词逻辑代数语义系统方法存在的局限性；同时基于预线性公理和S5(FLew)中模态词广义原则的兼容形式创造性地引入广义预线性公理，将彻底解决S5(FLew)的最小半线性扩张问题，也将为证明一元子结构谓词逻辑的标准完备性提供了一种新的简易代数方法。
教育部人文社会科学研究项目是我国哲学社会科学研究领域覆盖面广、权威性高、影响力强的项目之一，由教育部面向全国高校进行项目征集、评审和管理，项目研究方向设置全面、竞争院校多、立项难度大，是衡量高校人文社科研究水平的重要指标。
文字：王军涛 图片：王军涛
编辑：黄毓虎 审核：席利哲
