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