相似剩余格及其对应逻辑系统的完备性
引入了相似剩余格的概念,讨论了剩余格上相似算子和等价算子的关系,并得到了真值剩余格和相似剩余格相互转化的方法.其次,研究了相似剩余格上的相似滤子,利用相似滤子刻画了可表示的相似剩余格.最后,引入了相似剩余格对应的逻辑系统,证明了其完备性定理,并得到了其成为半线性逻辑的条件.
模糊逻辑、相似剩余格、相似滤子、完备性
36
O141.1(数理逻辑、数学基础)
国家自然科学基金;陕西省自然科学基础研究计划;陕西省教育厅自然科学研究专项计划
2021-03-23(万方平台首次上网日期,不代表论文的发表时间)
共16页
111-126