免费黄网在线观看,一区二区三区91,在线观看免费av网址,另类国产ts人妖高潮视频,久久国产福利,精品一区二区久久久,久久一级精品

學(xué)生 教師 校友 訪客

郵件系統(tǒng) 信息公開 ENGLISH

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

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

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

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

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

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


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

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