Seol mar théacs é seo: Fixpoint Characterizations for Many−Valued Disjunctive Logic Programs with Probabilistic Semantics