Text this: Proof Theory for Fuzzy Logics