Before revision: Some logics, such as standard predicate calculus, have a set of defining axioms with the "D-completeness" property.
After revision: Some logics, such as classical propositional calculus, have a set of defining axioms with the "D-completeness" property.