Карпенко А.С. Развитие многозначной логики

Учебник. — М.: Издательство ЛКИ, 2010. — 448 с. Классическая логика.
Логические связки. Истиностные таблицы.
Законы логики высказываний.
Функциональная полнота.
Логическое следование. Аксиоматизация. Адекватность.
Историческая справка.
Логика Предикатов.
Интуитивное понимание многозначной логики и ее возникновение.
Трехзначные логики.
Трехзначная Логика Лукасевича.
Модальная трехзначная логика Лукасевича.
Логика Гейтинга.
Логика Брауэра.
Трехзначная логика Бочвара.
Сильная логика Клини.
Трехзначные паранепротиворечивые логики.
Штрих Шеффера для некоторых трехзначных логик.
Решетка импликативных расширений регулярных логик Клини.
Логические матрицы и решетки.
Конечнозначные логики.
Аксиоматизация конечнозначных логик.
Многозначная логика как функциональная логика.
Бесконечнозначные логики.
Теория нечетких множеств и нечеткие логики.
Истинностные значения – интерпретация многозначных логик.