On Normalizing Disjunctive Intermediate Logics