Show simple item record

Голованов, Михаил Иванович
Марковская, Ирина Александровна
2017-12-08T07:15:05Z
2017-12-08T07:15:05Z
2017
Марковская, Ирина Александровна. Аксиоматизация некоторых табличных GL-логик [Электронный ресурс] : выпускная квалификационная работа бакалавра : 02.03.01 / И. А. Марковская. — Красноярск : СФУ, 2017.
http://elib.sfu-kras.ru/handle/2311/68112
Целью данной работы является построение некоторых замкнутых классов фреймов глубины 3 и ширины 3 для модальной логики Гёделя-Лёба и их аксиоматизация. В результате исследований построены формулы, которые в совокупности с аксиомами логики Гёделя-Лёба и формулами глубины и ширины, задают логику каждого из построенных замкнутых классов. Сформулированы и доказаны теоремы об аксиоматизации рассмотренных табличных расширений логики Гёделя-Лёба.
ru_RU
Сибирский федеральный университет
АКСИОМАТИЗАЦИЯ
НЕСТАНДАРТНАЯ ЛОГИКА
ЗАМКНУТЫЙ КЛАСС
ИРРЕФЛЕКСИВНОЕ ОТНОШЕНИЕ
ТРАНЗИТИВНОЕ ОТНОШЕНИЕ
Аксиоматизация некоторых табличных GL-логик
Thesis
Bachelor Thesis
02.03.01
Бакалавр
Красноярск
27.03.19
2017-12-08T07:15:05Z
Институт математики и фундаментальной информатики
Базовая кафедра вычислительных и информационных технологий
02.03.01 Математика и компьютерные науки
кандидат физико-математических наук, доцент


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record