Аксиоматизация табличных логик Гёделя-Лёба

Скачать файл:
URI (для ссылок/цитирований):
https://elib.sfu-kras.ru/handle/2311/125692
Автор:
Марковская, Ирина Александровна
Научный руководитель:
Голованов, Михаил Иванович
Коллективный автор:
Институт математики и фундаментальной информатики
Базовая кафедра вычислительных и информационных технологий
Дата:
2019
Библиографическое описание:
Марковская, Ирина Александровна. Аксиоматизация табличных логик Гёделя-Лёба [Электронный ресурс] : магистерская диссертация : 02.04.01 / И. А. Марковская. — Красноярск : СФУ, 2019.
Специальность выпускной работы:
02.04.01 Математика и компьютерные науки
Образовательная программа выпускной работы:
02.04.01.01 Математическое и компьютерное моделирование
Учёная степень или квалификация, на которую выполнена работа:
Магистр
Аннотация:
Магистерская диссертация по теме <<Аксиоматизация табличных логик Гёделя-Лёба>> представляет собой исследование в области неклассических модальных логик. Интерес к данной теме обусловлен проблемой алгоритмической неразрешимости задачи аксиоматизации непротиворечивых табличных нормальных модальных логик. Целью работы являлась аксиоматизация табличных логик Гёделя-Лёба, порождённых замкнутыми классами корневых фреймов глубины 3 и ширины 3, порядка 7. Для достижения данной цели были поставлены следующие задачи: построение всех корневых фреймов глубины 3 и ширины 3, порядка 7, построение замкнутых классов полученных фреймов и дальнейшая их аксиоматизация. В результате исследований построены формулы, которые в совокупности с аксиомами логики Гёделя-Лёба и формулами глубины и ширины, задают логику каждого из построенных замкнутых классов.
Коллекции:
Метаданные:
Показать полную информацию