Сибирский федеральный университет

Перевод названия: AXIOMATIZATION OF INTUITIONISTIC LOGICS DEFINED BY SMALL FRAMES

Тип публикации: статья из журнала

Год издания: 2017

Ключевые слова: супер интуиционистская логика, фрейм Крипке, аксиоматизация логик, Superintuitionistic logic, Kripke frame, axiomatization of logic

Аннотация: Исследуются табличные интуиционистские логики, семантически характеризуемые фреймами Крипке глубины не более 3 и ширины не более 2. Дана аксиоматизация основных таких логик, построена порожденная ими решетка. Известные методы позволяют, используя данные аксиоматизации, задать аксиоматику остальных логик решетки. In this paper, we study the tabular intuitionistic logics semantically characterized by the Kripke frames of the depths no greater than 3 and widths no greater than 2. The axiomatization of such basic logics is given; the lattice generated by them is constructed. Known methods make it possible, using given axiomatization, to specify the axiomatic of the remaining logics from the lattice.

Журнал: Математические заметки СВФУ

Выпуск журнала: Т. 24, № 1

Номера страниц: 6-15

ISSN журнала: 24119326

Место издания: Якутск

Издатель: Научно-исследовательский институт математики Северо-Восточного федерального университета им. М.К. Аммосова

• Башмаков Степан Игоревич (Сибирский федеральный университет)
• Голованов Михаил Иванович (Сибирский федеральный университет)

• Ядро РИНЦ (eLIBRARY.RU)
• Список ВАК