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