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

Эта публикация цитируется в 14 статьях

Краткие сообщения

Арифметическая реализуемость и базисная логика

А. Ю. Коновалов

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

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

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

УДК: 510.25; 510.64

Поступила в редакцию: 08.12.2014