Proof Theory for Fuzzy Logics - Metcalfe, George; Olivetti, Nicola; Gabbay, Dov (Springer Netherlands, 2009)