Proof Theory of Mathematical Fuzzy Logic