Proof Theory for Fuzzy Logics - Metcalfe, George (Springer Netherlands, 2009)