"Multiple-conclusion logic" - читать интересную книгу автора (D. J. Shoesmith, T. J. Smiley)