Аксиоматизация некоторых табличных GL-логик

Марковская, Ирина Александровна

View/Open:

vkr_so_skanom.pdf (1.813 Mb)

URI (for links/citations):

https://elib.sfu-kras.ru/handle/2311/68112

Author:

Марковская, Ирина Александровна

Scientific Advisor:

Голованов, Михаил Иванович

Corporate Contributor:

Институт математики и фундаментальной информатики

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

Date:

2017

Bibliographic Citation:

Марковская, Ирина Александровна. Аксиоматизация некоторых табличных GL-логик [Электронный ресурс] : выпускная квалификационная работа бакалавра : 02.03.01 / И. А. Марковская. — Красноярск : СФУ, 2017.

Graduate Speciality:

02.03.01 Математика и компьютерные науки

Academic Degree or Qualification:

Бакалавр

Abstract:

Целью данной работы является построение некоторых замкнутых классов фреймов глубины 3 и ширины 3 для модальной логики Гёделя-Лёба и их аксиоматизация. В результате исследований построены формулы, которые в совокупности с аксиомами логики Гёделя-Лёба и формулами глубины и ширины, задают логику каждого из построенных замкнутых классов. Сформулированы и доказаны теоремы об аксиоматизации рассмотренных табличных расширений логики Гёделя-Лёба.

Collections:

Выпускные квалификационные работы бакалавров и специалистов [20001]

Metadata:

Show full item record