Слои над минимальной логикой

Вводится классификация расширений минимальной логики J Йохансона, продолжающая классификацию суперинтуиционистских логик, предложенную Т. Хосои. Доказывается, что номер слоя любой конечно аксиоматизируемой логики эффективно вычислим. Каждый слой над J имеет наименьшую логику. Устанавливается, что каждый слой имеет конечное число максимальных логик, а минимальные и максимальные логики всех слоёв узнаваемы над J.