Финитная аппроксимируемость лесных суперинтуиционистских логик

Доказано, что всякая лесная суперинтуиционистская логика финитно аппроксимируема. Под лесной логикой понимается логика, моделируемая лесом (частично упорядоченным множеством с древесным порядком). Непосредственным следствием главного результата является утверждение: всякое лесное исчисление (т. е. конечно-аксиоматизируемая логика) разрешимо. Приводятся и другие (кроме конечной аксиоматизируемости) достаточные условия для того, чтобы лесная логика была разрешимой. Библ. 5 назв.