对于剩余格L,它具有四个运算∧,∨,,→,因此进行一次运算时所需要的操作会显得很繁琐,相应的工作量就会加大。为了减少工作量,我们简化了剩余格中TL-同余关系的表达式,得到了新的TL-同余关系,证明了这种新的TL-同余关系和TL-滤子仍然是一一对应的。
科研之友
微信
新浪微博
Facebook
分享链接
