Implication Operators Based on Rough Set Model over Boolean Algebras

Abstract

operators over Boolean algebras are investigated and the concept of rough Stone algebra (by J.Pomykala and J.A.Pomykala) and rough Nelson algebra (it is also called rough sets system by P.Pagliani) are generalized. From two directions, the rough implication operators based on rough set model over Boolean algebras are studies as following: (1) from the description of the pairs low approximation, upper approximation of rough sets, the implication operator D is introduced by modifying the method by I.Düntsch; (2) from the description of the pairs low approximation, the complement of upper approximation of rough sets, a pair of implication operator ( L, G) is introduced using the method by G.Cattaneo and D.Ciucci. Basis of this, the important results are proved: the rough Stone algebra over Boolean algebra with D form a IMTL-algebra; the rough Nelson algebra over Boolean algebra with ( L, G) form a HW(Heyting Wajsberg) algebra. Finally, the relationship between rough logic and fuzzy logic is discussed and a new way for studying rough logic is pointed out. Keywords-- Boolean Algebras; Rough Set; Implication operator; IMTL-algebra; Heyting Wajsberg algebra (HW algebra); Fuzzy Logic