学科分类
/ 1
1 个结果
  • 简介:本文研究IMTL代数M上的索布尔滤子的运算性质。令FB(M)为膨上全体素布尔滤子集,FB(M)=FB(M)∪{φ},通过在集合FB(M)引进格并、交运算和逆序对合对应,证明了FB(M)构成一个布黎代数。进一步在FB(M)可定义一个伴随对,证明FB(M)也构成一个剩余格。

  • 标签: 剩余格 IMTL代数 素滤子 布尔滤子 拟布尔代数