2[1]Pawlak Z. Rough Sets-Theoretical Aspects of Reasoning about Data. Kluwer: Academic Publishers, 1992
3[2]Chang C L, Lee R C T. Symbolic Logic and Mechanical Theorem Proving. New York: Academic Press, 1973
4[4]Banerjee M, Chakraborty M K. Rough algebra, Institute of Computer Science, Warsaw University of Technology, Warsaw: ICS Research Report 47/93, 1993
5[5]Stepaniuk J. Rough relations and logics. In: Polkowsk L,Skowron A eds. Rough Sets in Knowledge Discover I, Heideherg:Physica Verlag, 1998, 248～260
6[6]Liu Q. λ-Level rough equality relation and the inference of rough paramodulation. In: Ziarko W, Yao Y Y eds. Lecture Notes in Artificial Intelligence 2005. Berlin: Springer-Verlag, 2001,462～469
7[7]Lin T Y, Liu Q. First order rough logic Ⅰ: Approximate reasoning via rough sets. Fundamenta Informaticae, 1996,27(2～3):137～154
8[8]Liu Q. The resolution for rough proposotional logic with lower (L)and upper(H) approximate operators. In:Zhong N, Skow ron A, Ohsuga S eds. Lecture Notes Artificial Intelligence 1711. Berlin:Springer-Verlag, 1999,352～356
9[9]Liu Q. The OI--Resolution of operator rough logic. In:Polkowsk L, Skowron A eds. Lecture Notes Artificial Intelligence 1424. Berlin:Springer Verlag, 1998,432～435
10[12]Nakamara A. Graded modalities in rough logic. In: Polkaowski L, Skowron A eds. Rough Sets in Knowledge Discovery 1.Heidelberg:Physica-Verlag, 1998, 192～208
