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

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

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


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




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

Математические заметки, 2025, том 118, выпуск 2, страницы 278–298
DOI: https://doi.org/10.4213/mzm14480 (Mi mzm14480) 		 
Об одном конструктивном исчислении предикатов

В. Е. Плиско

Московский государственный университет им. М. В. Ломоносова
PDF полного текста (630 kB) Первая страница
Список литературы:
PDF
HTML
DOI: https://doi.org/10.4213/mzm14480
Аннотация: Строится исчисление предикатов, которое может служить логической основой для конструктивной арифметики.
Библиография: 15 названий.
Ключевые слова: конструктивная логика, исчисление предикатов, рекурсивная реализуемость, абсолютная реализуемость, принцип Маркова, обобщенный тезис Чёрча, конструктивная арифметика.
Поступило: 18.08.2024
Исправленный вариант: 03.03.2025
Дата публикации: 11.08.2025
Англоязычная версия:
Mathematical Notes, 2025, Volume 118, Issue 2, Pages 338–355
DOI: https://doi.org/10.1134/S0001434625603624
Тип публикации: Статья
УДК: 510.25
MSC: 03F50
Образец цитирования: В. Е. Плиско, “Об одном конструктивном исчислении предикатов”, Матем. заметки, 118:2 (2025), 278–298; Math. Notes, 118:2 (2025), 338–355
Цитирование в формате AMSBIB
\RBibitem{Pli25}
\by В.~Е.~Плиско
\paper Об одном конструктивном исчислении предикатов
\jour Матем. заметки
\yr 2025
\vol 118
\issue 2
\pages 278--298
\mathnet{http://mi.mathnet.ru/mzm14480}
\crossref{https://doi.org/10.4213/mzm14480}
\transl
\jour Math. Notes
\yr 2025
\vol 118
\issue 2
\pages 338--355
\crossref{https://doi.org/10.1134/S0001434625603624}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mzm14480
  • https://doi.org/10.4213/mzm14480
  • https://www.mathnet.ru/rus/mzm/v118/i2/p278
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические заметки Mathematical Notes
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025