Text this: Petr Hájek on Mathematical Fuzzy Logic