О реализуемости и финитной общезначимости пропозициональных формул с ограничениями на вхождения импликации

Для некоторых классов пропозициональных формул устанавливается эквивалентность реализуемости и финитной общезначимости с доказуемостью в интуиционистском исчислении высказываний и определенном его расширении. При этом усиливаются результат Ф. А. Кабакова о реализуемости формул, не содержащих определенных вхождений импликаций, а также результат В. А. Янкова о финитной общезначимости формул специального вида. Библ. 13 назв.