RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды Математического института имени В. А. Стеклова // Архив
Труды МИАН, 2011, том 274, страницы 222–251 (Mi tm3331)
Эта публикация цитируется в 1 статье

Обзор предикатной логики реализуемости

В. Е. Плиско

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

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

УДК: 510.64

Поступило в январе 2011 г.


 Англоязычная версия: Proceedings of the Steklov Institute of Mathematics, 2011, 274, 204–230

Реферативные базы данных:

© МИАН, 2024