Strong computability of slices over the logic Gl

В [2] введена классификация расширений минимальной логики J Йохансона с помощью слоев, доказана разрешимость классификации. Мы рассмотрим расширения логики Gl = J + (A V -А). Логика Gl и ее расширения изучались в [8, 9]. В [6] установлено, что логика Gl сильно узнаваема над J, а семейство расширений логики Gl сильно разрешимо над J. В этой статье мы докажем сильную разрешимость классификации над логикой Gl: для каждого конечного множества Rul схем аксиом и правил вывода можно эффективно вычислить номер слоя исчисления, полученного из Gl добавлением Rul в качестве новых аксиом и правил