Конечная аксиоматизируемость локально-табличных суперинтуиционистских логик

Доказывается следующая теорема:
Пусть $L$ – конечно аксиоматизируемая локально-табличная суперинтуиционистская логика. Тогда $L$ наследственно конечно-аксиоматизируема, если и только если $L$ имеет не более, чем счетное множество расширений. Библиогр. 9 назв.