УДК 510.643
Секвенциальная логика арифметической разрешимости / Золин Е.Е. // Вестн. Моск. ун-та. Сер. 1,
Математика. Механика.
C. 43-48.
Настоящая работа продолжает, с одной стороны, изучение модальных логик,
имеющих семантику доказуемости, а с другой -- логик оператора
разрешимости (или ``неслучайности''). Строится аксиоматика гильбертовского типа для
логики разрешимости над логикой доказуемости Гёделя-Лёба GL, т.е.
для логики, являющейся полной при интерпретации формул вида
как ``утверждение 
разрешимо в арифметике Пеано PA''.
Приводятся также секвенциальные исчисления для логик разрешимости
над K, K4 и GL.
Ил. 1. Библиогр. 10.
