Describir: Proof Theory for Fuzzy Logics