Attribute implications with unknown information based on weak Heyting algebras