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

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