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