Abstract: In order to study the properties and structure of bounded Heyting algebras by using topological tools, based on a type of congruences induced by the notion of ideal, uniform topological space (H,τ) is established and some of its basic and topological properties are investigated in bounded Heyting algebra (H,≤,→,0,1). It is proved that (H,τ) is disconnected, locally connected, locally compact, zero-dimensional, first-countable and completely regular space. Moreover (H,τ) is a T₁ space if it is a Hausdorff space. Some necessary and sufficient conditions for (H,τ)to be discrete and compact space are obtained. It is showed that the lattice and implication operations in (H,≤,→,0,1) are continuous under the uniform topology τ, make (H,≤,→,0,1) to be a topological bounded Heyting algebra. Meanwhile, some properties of the quotient space of (H,τ) are discussed.

Key words: bounded Heyting algebra, ideal, uniform topological space, quotient space