Сильная разрешимость и сильная узнаваемость

Рассматриваются расширения минимальной логики J Йохансона. Доказывается, что семейства негативных и нетривиальных логик и ряд других семейств сильно разрешимы над J. Это означает, что по любому конечному списку $Rul$ схем аксиом и правил вывода можно эффективно проверить, принадлежит ли логика с аксиомами и правилами $J+Rul$ указанному семейству. Доказывается сильная узнаваемость над J известных логик Neg, Gl, KC, а также логик LC, NC и всех их расширений.