Перевод названия: AXIOMATIZATION OF INTUITIONISTIC LOGICS DEFINED BY SMALL FRAMES
Тип публикации: статья из журнала
Год издания: 2017
Ключевые слова: супер интуиционистская логика, фрейм Крипке, аксиоматизация логик, Superintuitionistic logic, Kripke frame, axiomatization of logic
Аннотация: Исследуются табличные интуиционистские логики, семантически характеризуемые фреймами Крипке глубины не более 3 и ширины не более 2. Дана аксиоматизация основных таких логик, построена порожденная ими решетка. Известные методы позволяют, используя данные аксиоматизации, задать аксиоматику остальных логик решетки. In this paper, we sПоказать полностьюtudy 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
Место издания: Якутск
Издатель: Научно-исследовательский институт математики Северо-Восточного федерального университета им. М.К. Аммосова