论文部分内容阅读
在粗糙集的代数方法研究中一个重要的方面是从粗糙集的偶序对((下近似集,上近似集))表示人手,通过定义偶序对的基本运算,从而构造出相应粗代数,并寻找能抽象表示偶序对性质的一般代数结构.其中最有影响的粗代数分别是粗双Stone代数、近似空间代数和粗Nelson代数,它们对应的一般代数分别是正则双Stone代数、预粗代数和半简单Nelson代数.文章证明了这三种粗代数都可以化为三值Lukasiewiez代数,从而将它们统一到了三值Lukasiewiez代数的框架下.并在此基础上,更直接地证明了一个近似空间中的所