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