Унификация в нетранзитивной временной логике знания с универсальной модальностью
Скачать файл:
URI (для ссылок/цитирований):
https://elib.sfu-kras.ru/handle/2311/137059Автор:
Зверева, Татьяна Юрьевна
Научный руководитель:
Башмаков, Степан Игоревич
Коллективный автор:
Институт математики и фундаментальной информатики
Кафедра алгебры и математической логики
Дата:
2020Библиографическое описание:
Зверева, Татьяна Юрьевна. Унификация в нетранзитивной временной логике знания с универсальной модальностью [Электронный ресурс] : выпускная квалификационная работа бакалавра : 01.03.01 / Т. Ю. Зверева. — Красноярск : СФУ, 2020.Специальность выпускной работы:
01.03.01 МатематикаОбразовательная программа выпускной работы:
01.03.01.02 Алгебра, теория чисел, математическая логикаУчёная степень или квалификация, на которую выполнена работа:
БакалаврТекст работы публикуется с изъятиями.
Аннотация:
Цель работы – исследование унификации в одной нетранзитивной временной логике знания с универсальной модальностью.
В результате исследования выполнено семантическое построения линейной многомодальной логики знания и нетранзитивного времени с универсальной модальностью ULITK, доказаны финитная аппроксимируемость и p-морфность конечных фреймов бесконечным, установлена проективность унификации и её тип, получен вид проективного унификатора для любой унифицируемой формулы в логике ULITK.