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

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

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


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




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

Математические заметки, 2023, том 114, выпуск 6, страницы 827–847
DOI: https://doi.org/10.4213/mzm13723 (Mi mzm13723) 		 
Корректность базисной логики предикатов относительно модифицированного варианта строгой примитивно-рекурсивной реализуемости

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

Московский государственный университет им. М. В. Ломоносова
PDF полного текста (678 kB) Первая страница
Список литературы:
PDF
HTML
DOI: https://doi.org/10.4213/mzm13723
Аннотация: Определяется понятие строгой примитивно-рекурсивной реализуемости для формул языка базисной логики предикатов $\mathsf{BQC}$, учитывающее специфические особенности данного языка. Доказывается, что исчисление $\mathsf{BQC}$ корректно относительно этого варианта строгой примитивно-рекурсивной реализуемости.
Библиография: 21 название.
Ключевые слова: строгая примитивно-рекурсивная реализуемость, базисная логика предикатов BQC, конструктивная семантика, реализуемость.
Финансовая поддержка Номер гранта
Министерство науки и высшего образования Российской Федерации 075-15-2020-801
Исследование выполнено при поддержке Министерства науки и высшего образования Российской Федерации (грант № 075-15-2020-801).
Поступило: 14.09.2022
Исправленный вариант: 27.04.2023
Англоязычная версия:
Mathematical Notes, 2023, Volume 114, Issue 6, Pages 1260–1276
DOI: https://doi.org/10.1134/S0001434623110585
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.25+510.64
Образец цитирования: А. Ю. Коновалов, “Корректность базисной логики предикатов относительно модифицированного варианта строгой примитивно-рекурсивной реализуемости”, Матем. заметки, 114:6 (2023), 827–847; Math. Notes, 114:6 (2023), 1260–1276
Цитирование в формате AMSBIB
\RBibitem{Kon23}
\by А.~Ю.~Коновалов
\paper Корректность базисной логики предикатов относительно модифицированного варианта строгой примитивно-рекурсивной реализуемости
\jour Матем. заметки
\yr 2023
\vol 114
\issue 6
\pages 827--847
\mathnet{http://mi.mathnet.ru/mzm13723}
\crossref{https://doi.org/10.4213/mzm13723}
\transl
\jour Math. Notes
\yr 2023
\vol 114
\issue 6
\pages 1260--1276
\crossref{https://doi.org/10.1134/S0001434623110585}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85187678495}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mzm13723
  • https://doi.org/10.4213/mzm13723
  • https://www.mathnet.ru/rus/mzm/v114/i6/p827
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические заметки Mathematical Notes
    Статистика просмотров:
    Страница аннотации:87
    PDF полного текста:4
    HTML русской версии:7
    Список литературы:22
    Первая страница:10
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024