Введение
1 Истинностно-функциональные семантики 14
1 Семантика голосования 17
2 Перерандомизирующая семантика 20
3 Семантика сходства 21
4 Семантика рисков, или диалоговая семантика 26
5 Семантика допустимости 28
6 Рассуждения в теории меры 32
7 Семантика приближений 33
8 Импликация 36
9 Отрицание 39
2 Формализация многозначных логик 41
1 Логика высказываний 41
2 Логика первого порядка 44
3 Алгебра 48
4 Вывод 51
5 Логика отмеченных формул 56
6 Секвенциальные и табличные исчисления 59
7 Резолюция 64
3 Функциональный анализ многозначных логик 66
1 Основные понятия 66
2 Критерии полноты и 5-полноты 70
3 Предикатная характеризация-замкнутых классов 73
4 Метод резолюций для смешанной логики Поста 76
1 Смешанная логика Поста PostL 78
2 Резолюция для PostL 81
3 Замечания 86
5 Теорема Чена 88
1 Идеалы, отношения конгруэнтности и проблема представления 89
2 Линейно упорядоченные MV-алгебры 93
3 Упорядоченная абелева группа G[c] 96
4 Применение к бесконечнозначной логике Лукасевича 103
6 Метод резолюций на основе теоремы представления дистрибутивных решёток с операторами 104
1 Дуальность по Пристли 105
2 Модели, основанные на дуале Пристли 115
3 Автоматическое доказательство теорем 118
4 Канонические расширения 120
7 Эффективное доказательство теорем в логиках Лукасевича 126
1 Логика Лукасевича и линейная алгебра 126
2 Первый метод проверки общезначимости 132
3 Второй метод 134
Заключение 137
