"Proof Theory for Fuzzy Logics (Applied Logic Series, Volume 36)" - читать интересную книгу автора (George Metcalfe, Nicola Olivetti, Dov Gabbay)