Petr Hájek Trakhtenbrot Theorem and Fuzzy Logic. 1-8 1998 conf/csl/1998 CSL db/conf/csl/csl98.html#Hajek98 http://dx.doi.org/10.1007/10703163_1