Proof theory for fuzzy logics | lit.salon