Диссертация

Беликов Александр Александрович

Кандидат наук

Статус диссертации

15.01.2019 
Диплом Кандидат наук
27.12.2018 
Решение о выдаче диплома
21.12.2018 
Положительное заключение АК
23.11.2018 
На рассмотрении в АК
26.09.2018 
Положительная защита
05.07.2018 
Объявление опубликовано
29.06.2018 
Принят к защите
28.06.2018 
Заключение комиссии
24.06.2018 
Документы приняты
ФИО соискателя
Беликов Александр Александрович
Степень на присвоение
Кандидат наук
Приказ о выдаче диплома
№ 12 от 15.01.2019
Дата и время защиты
26.09.2018 15:00
Научный руководитель
Зайцев Дмитрий Владимирович
Доктор наук Доцент
Оппоненты
Микиртумов Иван Борисович
Доктор наук Доцент
Шалак Владимир Иванович
Доктор наук
Архиереев Николай Львович
Доктор наук
Место выполнения работы
Московский государственный университет имени М.В.Ломоносова, Философский факультет, Кафедра логики
Специальность
09.00.07 Логика
философские науки
Диссертационный совет
Телефон совета
+7 495 939-20-07

Объектом исследования являются различные отношения следования, основанные на четырехзначной семантике Данна-Белнапа. В круг основных целей данной работы входит: аксиоматизация логик ETL и NFL в виде систем бинарных выводимостей, исследование их металогических свойств, исследование взаимоотношений ETL и NFL с уже известными расширениями логики FDE, построение адекватных семантик полуобобщенных описаний состояний для логик K3 и LP, построение адекватных семантик обобщенных описаний состояний для логик ETL и NFL. Методологическую основу исследования составляет аппарат современной символической логики. Полученные в диссертации результаты позволяют уточнить понятие логического следования и выявить новые проблемы, связанные с формализацией подобных отношений, и могут быть использованы для чтения курсов по релевантной, многозначной логике, логикам с обобщенными истинностными значениями, отдельным аспектам логической семантики и теории доказательств.

# Название Размер