Математический сборник (новая серия)
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Скоро в журнале
Архив
Импакт-фактор
Правила для авторов
Лицензионный договор
Загрузить рукопись
Историческая справка

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Матем. сб.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Математический сборник (новая серия), 1983, том 120(162), номер 2, страницы 227–239 (Mi sm2128)  
К теории моделей для интуиционистской логики

В. И. Степанов
PDF полного текста (669 kB) PDF английской версии (621 kB)
Список литературы:
PDF
HTML
Аннотация: Развивается модельный подход для интуиционистских и классических теорий языка простой теории типов. Доказывается слабая форма теоремы полноты, частным случаем которой является теорема полноты Хенкина. Вводится ультрапроизведение структур Крипке и дается применение теоремы об опускании типов к теориям с бесконечными правилами вывода.
Библиография: 14 названий.
Поступила в редакцию: 26.01.1981
Англоязычная версия:
Mathematics of the USSR-Sbornik, 1984, Volume 48, Issue 1, Pages 223–235
DOI: https://doi.org/10.1070/SM1984v048n01ABEH002672
Реферативные базы данных:
УДК: 510.24
MSC: Primary 03C95, 03F55; Secondary 03C20, 03C25, 03C35, 03F25
Образец цитирования: В. И. Степанов, “К теории моделей для интуиционистской логики”, Матем. сб., 120(162):2 (1983), 227–239; V. I. Stepanov, “On the theory of models for intuitionistic logic”, Math. USSR-Sb., 48:1 (1984), 223–235
Цитирование в формате AMSBIB
\RBibitem{Ste83}
\by В.~И.~Степанов
\paper К~теории моделей для интуиционистской логики
\jour Матем. сб.
\yr 1983
\vol 120(162)
\issue 2
\pages 227--239
\mathnet{http://mi.mathnet.ru/sm2128}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=687615}
\zmath{https://zbmath.org/?q=an:0568.03018}
\transl
\by V.~I.~Stepanov
\paper On the theory of models for intuitionistic logic
\jour Math. USSR-Sb.
\yr 1984
\vol 48
\issue 1
\pages 223--235
\crossref{https://doi.org/10.1070/SM1984v048n01ABEH002672}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/sm2128
  • https://www.mathnet.ru/rus/sm/v162/i2/p227
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математический сборник (новая серия) - 1964–1988 Sbornik: Mathematics
    Статистика просмотров:
    Страница аннотации:289
    PDF русской версии:136
    PDF английской версии:6
    Список литературы:42
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024