In this project we define skew Heyting almost distributive lattice and characterize it as a skew Heyting algebra in terms of congruence relation defined on it. Moreover, we also present different conditions on which an ...