Natural properties of abductive hypotheses in three-valued logic