Canonical extensions for congruential logics with the deduction theorem
scientific article; zbMATH DE number 5943663