Confirmation as partial entailment: a representation theorem in inductive logic