A Topological Duality for k x j-rough Heyting Algebras

Abstract

k-rough Heyting algebras were introduced by Eric San Juan as an algebraic formalism for reasoning on finite increasing sequences over Boolean algebras in general and on generalizations of rough set concepts in particular. In this paper, k × j-rough Heyting algebras are defined and investigated. These algebras constitute an extension of Heyting algebras and in j = 2 case they coincide with k-rough Heyting algebras. The aim of this paper is to give a topological study for these new class of algebras.