一元子結(jié)構(gòu)謂詞邏輯中相似的代數(shù)語(yǔ)義

摘要： 借助一元模糊謂詞邏輯與S5型模糊模態(tài)邏輯的等價(jià)性，建立了一元子結(jié)構(gòu)謂詞邏輯中相似聯(lián)結(jié)詞的代數(shù)語(yǔ)義，引入了相似一元剩余格，并研究了其基本的代數(shù)性質(zhì).其次，研究了相似一元剩余格上的相似濾子，刻畫了可表示的相似一元剩余格.最后，引入了相似一元剩余格對(duì)應(yīng)的邏輯系統(tǒng)，證明了其完備性定理，并解決了其最小半線性擴(kuò)張問題.