Секвенциальная логика арифметической разрешимости

Настоящая работа продолжает, с одной стороны, изучение модальных логик, имеющих семантику доказуемости, а с другой – логик оператора разрешимости (или “неслучайности”). Строится аксиоматика гильбертовского типа для логики разрешимости над логикой доказуемости Гёделя–Лёба $\mathbf{GL}$, т.е. для логики, являющейся полной при интерпретации формул вида $\vartriangleright A$ как "утверждение $A$ разрешимо в арифметике Пеано $\mathbf{PA}$". Приводятся также секвенциальные исчисления для логик разрешимости над $\mathbf{K}$, $\mathbf{K4}$ и $\mathbf{GL}$.
Ил. 1. Библиогр. 10.