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