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