Logical properties of rough sets

The authors present a representation theorem of topological Boolean algebras. The result is similar to Stone's representation theorem of Boolean algebras, which establishes the relationship between topological Boolean algebras and rough sets in the general sets. The article is motivated by the problem of logic of rough sets proposed by Z. Pawlak (1995).