Qing Liu. The Resolution for Ruogh Propositional Logic with Lower (L) and Upper (h) Approximate Operators. In Ning Zhong, Andrzej Skowron, Setsuo Ohsuga, editors, New Directions in Rough Sets, Data Mining, and Granular-Soft Computing, 7th International Workshop, RSFDGrC 99, Yamaguchi, Japan, November 9-11, 1999, Proceedings. Volume 1711 of Lecture Notes in Computer Science, pages 352-356, Springer, 1999.
Abstract is missing.