Canonical extensions for congruential logics with the deduction theorem