Bases of admissible rules for \(K\)-saturated logics
scientific article; zbMATH DE number 6051424