Отношения следования в логиках с обобщенными истинностными значениями и их формализация Беликов, Александр Александрович

brief description

Беликов, Александр Александрович.
Отношения следования в логиках с обобщенными истинностными значениями и их формализация : диссертация ... кандидата философских наук : 09.00.07 / Беликов Александр Александрович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова]. - Москва, 2018. - 109 с. : ил.
ОГЛАВЛЕНИЕ ДИССЕРТАЦИИкандидат наук Беликов, Александр Александрович
Содержание
Введение
Предварительные определения
1 Первоуровневая релевантная логика
1.1 История возникновения
1.2 Семантика Данна-Белнапа
1.3 Логики с обобщенными истинностными значениями
2 Прямая сохранность истинности и неложности, обратная сохранность ложности и неистинности
2.1 Семантика логики ETL
2.2 Формализация А. Питца и У. Ривиеччио
2.3 Формализация логики ETL в виде системы бинарных выводимостей
2.4 Семантика логики NFL
2.5 Подходы к формализации логики NFL
2.6 Формализация логики NFL в виде системы бинарных выводимостей
2.7 Семейство логик первого уровня
3 Семантика Е. К. Войшвилло для логик с обобщенными истинностными значениями
3.1 Общая характеристика семантики обобщенных описаний состояний
3.2 Семантика полуобобщенных описаний состояний для логики Клини и логики Приста
3.3 Аксиоматизация
3.4 Семантика обобщенных описаний состояний для ETL и NFL
Заключение
Список литературы