Semantical Investigations in Heyting's Intuitionistic Logic