Rough set algebra and R0-algebra based on implication operator
WEI Hai-xin,LI Xiu-qing
Computer Engineering and Applications . 2010, (19): 33 -35 .  DOI: 10.3778/j.issn.1002-8331.2010.19.009