Максимова Л. Л.
Строение слоев над минимальной логикой

В [1] введена классификация расширений минимальной логики J Йохансона с помощью слоев, доказана разрешимость классификации. В этой статье найдены достаточно простые необходимые условия максимальности логик в слоях, сформулированные в терминах шкал. Это дает возможность описания эффективной процедуры вычисления номера слоя любой конечно аксиоматизируемой логики над J. В явном виде выписаны максимальные логики верхних слоев.

L. L. Maksimova
The structure of slices over minimal logic

In [1], we introduced a classification of extensions of Johansson’s minimal logic J by means of slices and proved the decidability of the classification. In this article, we find sufficiently simple necessary conditions for the maximality of logics in the slices formulated in terms of frames. This makes it possible to describe an efficient procedure for computing the slice number of any finitely axiomatizable logic over J. The maximal logics of the upper slices are written down explicitly.

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

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

• PDF file
• PostScript file