УДК 510.25; 510.64

Арифметическая реализуемость и базисная логика / А. Ю. Коновалов. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2016. № 1. С. 52-56.

Определяется абсолютная арифметическая реализуемость предикатных формул. Доказывается, что интуиционистская логика не является корректной относительно этой семантики, тогда как базисная логика корректна.

Ключевые слова: конструктивная семантика, реализуемость, абсолютная реализуемость, формальная арифметика, арифметическая реализуемость, базисная логика, интуиционистская логика.

Библиогр. 4.