Văn bản này: Many−Valued First−Order Logics with Probabilistic Semantics