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