Petr Hájek Sauro Tulipani Complexity of Fuzzy Probability Logics. 207-213 2001 45 Fundam. Inform. 3 db/journals/fuin/fuin45.html#HajekT01