АКСИОМАТИЗАЦИЯ ИНТУИЦИОНИСТСКИХ ЛОГИК, ОПРЕДЕЛЯЕМЫХ МАЛЫМИ ФРЕЙМАМИ

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

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

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

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

Аннотация: Исследуются табличные интуиционистские логики, семантически характеризуемые фреймами Крипке глубины не более 3 и ширины не более 2. Дана аксиоматизация основных таких логик, построена порожденная ими решетка. Известные методы позволяют, используя данные аксиоматизации, задать аксиоматику остальных логик решетки.

Ссылки на полный текст

Издание

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

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

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

ISSN журнала: 24119326

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

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

Авторы

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.