粗糙集的BCK-代数

摘要

在粗糙集的代数方法研究中,一个重要的方面是从粗糙集的偶序对()表示入手,通过定义偶序对性质的基本运算,从而构造出相应粗代数,并寻找能抽象表示偶序对的性质的一般代数结构.其中最有影响的粗代数分别是粗双stone代数、近似空间代数和粗Nelson代数.文章讨论了近似空间中粗糙集的代数性质,通过所给的粗糙并、交、补的定义,定义了粗糙集的全体所组的集合B的一个二元运算*.并证明B是一个蕴涵的BCK-代数.