Heyting algebras with Boolean operators for rough sets and information retrieval applications