"Many-valued logics" - читать интересную книгу автора (J. B. Rosser, A. R. Turquette)