Text this: Formal Introduction to Fuzzy Implications.