A Method of Representing Rough Sets System Determined by Quasi Orders

作者：Nagarajan E K R; Umadevi D^*

来源：Order, 2013, 30(1): 313-337.

DOI：10.1007/s11083-011-9245-x

• Rough sets
• Quasi order
• Dual isomorphism
• Kleene algebra
• Nelson algebra
• Topological Kleene algebra
• Monadic Topological Kleene algebra

In this paper, we study about the ordered structure of rough sets determined by a quasi order. A characterization theorem for rough sets of an approximation space (U, R) based on a quasi order R is given in Nagarajan and Umadevi (2010). Then using the characterization of rough sets determined by a quasi order, its rough sets system is represented by a new construction. This construction is generalized and abstracted into a new method of constructing Kleene based algebraic structures from dually isomorphic distributive lattices. Then by using different varieties of distributive lattices, we obtain various Kleene based algebraic structures. By this construction, we give various algebraic structures to the rough sets system determined by a quasi order R.

• 出版日期2013-3