Разрешимость логических уравнений в модальной системе $\operatorname{Grz}$ и интуиционистской логике

Исследуется разрешимость логических уравнений и допустимость правил вывода с параметрами в модальной системе $\operatorname{Grz}$. Построены алгоритмический и семантический критерии допустимости правил вывода с параметрами в $\operatorname{Grz}$. На их основе найдены алгоритмы, распознающие разрешимость логических уравнений в модальной системе $\operatorname{Grz}$ и интуиционистском исчислении высказываний $\operatorname{Int}$. Как следствие, получены алгоритмы, распознающие разрешимость уравнений в свободной модальной алгебре $\mathscr{F}_\omega(\operatorname{Grz})$ и свободной псевдобулевой алгебре $\mathscr{F}_\omega(\operatorname{Int})$ и строящие в случае разрешимости их решения.
Библиогр. 10.