借助一元模糊谓词逻辑与S5型模糊模态逻辑的等价性，建立了一元子结构谓词逻辑中相似联结词的代数语义，引入了相似一元剩余格，并研究了其基本的代数性质.其次，研究了相似一元剩余格上的相似滤子，刻画了可表示的相似一元剩余格.最后，引入了相似一元剩余格对应的逻辑系统，证明了其完备性定理，并解决了其最小半线性扩张问题.
科研之友
微信
新浪微博
Facebook
分享链接
