Proof theory for fuzzy logics - Metcalfe, George; Olivetti, Nicola ([S.L.] Springer, 2009)