Deakstadieđáhus: Vagueness and intuitionistic logic