Таблично допустимые правила вывода

Описывается рекурсивный базис правил вывода, допустимых сразу во всех табличных (финитно аппроксимируемых) логиках, расширяющих одну из логик $\mathrm{Int}$ и $Grz$. Получен достаточно простой семантический критерий допустимости заданного правила вывода во всех табличных суперинтуиционистских логиках, а также связь допустимости правила во всех табличных (финитно аппроксимируемых) суперинтуиционистских логиках и его истинности в логике $\mathrm{Int}$.