УДК 510.643

Секвенциальная логика арифметической разрешимости / Золин Е.Е. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. C. 43-48.

Настоящая работа продолжает, с одной стороны, изучение модальных логик, имеющих семантику доказуемости, а с другой -- логик оператора разрешимости (или ``неслучайности''). Строится аксиоматика гильбертовского типа для логики разрешимости над логикой доказуемости Геделя-Леба GL, т.е. для логики, являющейся полной при интерпретации формул вида как ``утверждение разрешимо в арифметике Пеано PA''. Приводятся также секвенциальные исчисления для логик разрешимости над K, K4 и GL.

Ил. 1. Библиогр. 10.