Abstract In this dissertation several results of the new notion fuzzy Heyting algebras are introduced based on the crisp theory.The new result of the concept of congruence relations on Heyting algebra using implicatively ...