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

• 作者: 王军涛
• 来源期刊: 高校应用数学学报
• 关键词: 模糊逻辑 相似剩余格 相似滤子 完备性
• 年，卷（期）: 2021,（1）
• 页码范围: 111-126
• 页数: 16页
• 分类号: O141.1
• 语种: 中文

摘要

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