Л. Л. Максимова, В. Ф. Юн, “Проблема табличности над минимальной логикой”, Сиб. матем. журн., 2016, том 57, номер 6,страницы 1320

Эта публикация цитируется в 9 статьях

Проблема табличности над минимальной логикой

Л. Л. Максимова^ab, В. Ф. Юн^ab

^a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
^b Новосибирский гос. университет, ул. Пирогова, 2, Новосибирск 630090

Аннотация: Доказана разрешимость проблемы табличности над минимальной логикой J Йохансона. Описаны все предтабличные расширения минимальной логики, их оказалось семь. Показано, что все они узнаваемы над J. Найдены аксиоматизация и семантическая характеризации всех семи предтабличных логик.

Ключевые слова: минимальная логика, табличность, предтабличная логика, разрешимость, узнаваемая логика.

УДК: 510.64

Статья поступила: 21.10.2015

DOI: 10.17377/smzh.2016.57.610