RUS  ENG
Полная версия
ЖУРНАЛЫ // Известия Российской академии наук. Серия математическая // Архив
Изв. РАН. Сер. матем., 1997, том 61, выпуск 1, страницы 215–224 (Mi im112)
Эта публикация цитируется в 2 статьях

Диалоговая интерпретация классического исчисления предикатов

В. А. Янков

Российский государственный гуманитарный университет

Аннотация: Строится интуиционистская диалоговая интерпретация классического исчисления предикатов и для нее доказывается теорема полноты (интуиционистский аналог теоремы Гёделя).
Библиография: 3 наименования.

MSC: Primary 03F03, 03F25; Secondary 03B20, 03F05

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

DOI: 10.4213/im112


 Англоязычная версия: Izvestiya: Mathematics, 1997, 61:1, 225–233

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

© МИАН, 2024