相似剩余格及其对应逻辑系统的完备性

摘要：

引入了相似剩余格的概念,讨论了剩余格上相似算子和等价算子的关系,并得到了真值剩余格和相似剩余格相互转化的方法.其次,研究了相似剩余格上的相似滤子,利用相似滤子刻画了可表示的相似剩余格.最后,引入了相似剩余格对应的逻辑系统,证明了其完备性定理,并得到了其成为半线性逻辑的条件.

关键词：模糊逻辑、相似剩余格、相似滤子、完备性

所属期刊栏目：36

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金;陕西省自然科学基础研究计划;陕西省教育厅自然科学研究专项计划

在线出版日期：2021-03-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共16页

页码：111-126