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

Определена пропозициональная логика $\mathscr{L}$ булевых рекурсивных схем программ, содержащих вхождения предикатных переменных в условия. Введено отношение структурной интерпретируемости программных логик, с помощью которого установлена разрешимость логики $\mathscr{L}$ с постоянными и обратимыми функциональными символами.
Библиогр. 12 назв.