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