Formal Fuzzy Logic