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

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

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


Докл. РАН. Матем., информ., проц. упр.:
Год:
Том:
Выпуск:
Страница:
Найти




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

Доклады Российской академии наук. Математика, информатика, процессы управления, 2023, том 514, номер 1, страницы 123–128
DOI: https://doi.org/10.31857/S2686954323602324 (Mi danma443) 		 
МАТЕМАТИКА

Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC

А. А. Оноприенко

Национальный исследовательский университет "Высшая школа экономики", Москва, Россия
PDF полного текста Английская версия
Список литературы:
PDF
HTML
DOI: https://doi.org/10.31857/S2686954323602324
Аннотация: В данной заметке доказаны аналоги теорем Эрбрана и Харропа для логики QHC.
Ключевые слова: неклассические логики, логика задач и высказываний, дизъюнктивное свойство, экзистенциальное свойство, теорема Эрбрана, теорема Харропа.
Статья представлена к публикации: А. Л. Семёнов
Поступило: 27.11.2023
После доработки: 07.12.2023
Принято к публикации: 07.12.2023
Английская версия:
Doklady Mathematics, 2023, Volume 108, Issue 3, Pages 528–532
DOI: https://doi.org/10.1134/S1064562423701685
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.64
Образец цитирования: А. А. Оноприенко, “Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC”, Докл. РАН. Матем., информ., проц. упр., 514:1 (2023), 123–128; Dokl. Math., 108:3 (2023), 528–532
Цитирование в формате AMSBIB
\RBibitem{Ono23}
\by А.~А.~Оноприенко
\paper Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC
\jour Докл. РАН. Матем., информ., проц. упр.
\yr 2023
\vol 514
\issue 1
\pages 123--128
\mathnet{http://mi.mathnet.ru/danma443}
\crossref{https://doi.org/10.31857/S2686954323602324}
\elib{https://elibrary.ru/item.asp?id=56718096}
\transl
\jour Dokl. Math.
\yr 2023
\vol 108
\issue 3
\pages 528--532
\crossref{https://doi.org/10.1134/S1064562423701685}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/danma443
  • https://www.mathnet.ru/rus/danma/v514/i1/p123
    Исправления
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Доклады Российской академии наук. Математика, информатика, процессы управления Доклады Российской академии наук. Математика, информатика, процессы управления
    Статистика просмотров:
    Страница аннотации:144
    Список литературы:47
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2026