Унификация в некоторых несимметричных нетранзитивных модальных логиках

Скачать файл:
URI (для ссылок/цитирований):
https://elib.sfu-kras.ru/handle/2311/154693
Автор:
Донец, Екатерина Александровна
Научный руководитель:
Башмаков, Степан Игоревич
Коллективный автор:
Институт математики и фундаментальной информатики
Кафедра алгебры и математической логики
Дата:
2024
Библиографическое описание:
Донец, Екатерина Александровна. Унификация в некоторых несимметричных нетранзитивных модальных логиках [Электронный ресурс] : магистерская диссертация : 01.04.01 / Е. А. Донец. — Красноярск : СФУ, 2024.
Специальность выпускной работы:
01.04.01 Математика
Учёная степень или квалификация, на которую выполнена работа:
Магистр

Текст работы публикуется с изъятиями.
Коллекции:
Метаданные:
Показать полную информацию