亚洲成人av一区,找个毛片看看,自拍麻豆另类,天堂女人av,91白丝在线观看,毛片网av,麻豆伊人网

學生 教師 校友 訪客

郵件系統 信息公開 ENGLISH

當前位置: 首頁 >> 新聞中心 >> 校內動態(tài) >> 正文

理學院教師獲批2024年度教育部人文社會科學研究項目

作者: 發(fā)布時間:2024-09-27 11:59:30 瀏覽:

近日,教育部社科司公布了2024年教育部人文社會科學研究一般項目的立項名單,理學院應用數學系王軍濤副教授申報的課題《一元子結構謂詞邏輯的命題演算形式化研究》獲批青年基金項目,這是理學院教師首次獲批教育部人文社會科學研究項目,該項目的獲批是理學院積極落實學校學科建設工作會議相關要求,推動學科交叉融合的具體體現。

該項目擬借助一元子結構謂詞邏輯與相應S5型命題模態(tài)邏輯的等價性,以命題模態(tài)邏輯S5(FLew)為基礎建立一元子結構謂詞邏輯的代數語義,將突破現有文獻直接建立一元子結構謂詞邏輯代數語義系統方法存在的局限性;同時基于預線性公理和S5(FLew)中模態(tài)詞廣義原則的兼容形式創(chuàng)造性地引入廣義預線性公理,將徹底解決S5(FLew)的最小半線性擴張問題,也將為證明一元子結構謂詞邏輯的標準完備性提供了一種新的簡易代數方法。

教育部人文社會科學研究項目是我國哲學社會科學研究領域覆蓋面廣、權威性高、影響力強的項目之一,由教育部面向全國高校進行項目征集、評審和管理,項目研究方向設置全面、競爭院校多、立項難度大,是衡量高校人文社科研究水平的重要指標。


  • 文字:王軍濤
  • 圖片:王軍濤

  • 編輯:黃毓虎
  • 審核:席利哲