Proof theory for fuzzy logics - Metcalfe, George; Gabbay, Dov M.; Olivetti, Nicola; SpringerLink (Online service) (Dordrecht : Springer Netherlands, 2009)
Keywords: Fuzzy logic; Proof theory; Artificial Intelligence (incl. Robotics); Logic; Mathematical Logic and Foundations; Order, Lattices, Ordered Algebraic Structures