Proof Theory For Fuzzy Logics by George Metcalfe & Nicola Olivetti