Максимова Л. Л., Юн В. Ф.
Проблема табличности над минимальной логикой

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

L. L. Maksimova, V. F. Yun
The tabularity problem over the minimal logic

We prove that the problem of tabularity over Johansson's minimal logic J is decidable. Describing all pretabular extensions of the minimal logic, we find that there are seven of them and show that they are all recognizable over J. We find axiomatizations and semantic characterizations of all seven pretabular logics.

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

Полный текст статьи / Full texts:

• PDF file
• PostScript file