"Automated deduction in multiple-valued logics" - читать интересную книгу автора (Reiner Hähnle)