近日,教育部社科司公布了2024年教育部人文社會科學研究一般項目的立項名單,理學院應用數學系王軍濤副教授申報的課題《一元子結構謂詞邏輯的命題演算形式化研究》獲批青年基金項目,這是理學院教師首次獲批教育部人文社會科學研究項目,該項目的獲批是理學院積極落實學校學科建設工作會議相關要求,推動學科交叉融合的具體體現。
該項目擬借助一元子結構謂詞邏輯與相應S5型命題模態(tài)邏輯的等價性,以命題模態(tài)邏輯S5(FLew)為基礎建立一元子結構謂詞邏輯的代數語義,將突破現有文獻直接建立一元子結構謂詞邏輯代數語義系統方法存在的局限性;同時基于預線性公理和S5(FLew)中模態(tài)詞廣義原則的兼容形式創(chuàng)造性地引入廣義預線性公理,將徹底解決S5(FLew)的最小半線性擴張問題,也將為證明一元子結構謂詞邏輯的標準完備性提供了一種新的簡易代數方法。
教育部人文社會科學研究項目是我國哲學社會科學研究領域覆蓋面廣、權威性高、影響力強的項目之一,由教育部面向全國高校進行項目征集、評審和管理,項目研究方向設置全面、競爭院校多、立項難度大,是衡量高校人文社科研究水平的重要指標。
