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

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

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


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




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

Успехи математических наук, 2025, том 80, выпуск 5(485), страницы 187–188
DOI: https://doi.org/10.4213/rm10263 (Mi rm10263) 		 
Краткие сообщения

Невозможность погружения логики $\operatorname{HC}$ в логику $\operatorname{IEL}^+$ с сохранением классической импликации

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

Национальный исследовательский университет "Высшая школа экономики"
PDF полного текста (314 kB) Первая страница PDF английской версии (411 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.4213/rm10263
Финансовая поддержка Номер гранта
Национальный исследовательский университет "Высшая школа экономики"
Статья подготовлена в ходе проведения исследования в рамках проекта “Международное академическое сотрудничество” НИУ ВШЭ.
Поступила в редакцию: 17.07.2025
Представлено: А. М. Райгородский
Принято редколлегией: 17.07.2025
Дата публикации: 01.10.2025
Английская версия:
Russian Mathematical Surveys, 2025, Volume 80, Issue 5, Pages 928–930
DOI: https://doi.org/10.4213/rm10263e
Реферативные базы данных:
Тип публикации: Статья
MSC: 03B20
Образец цитирования: А. А. Оноприенко, “Невозможность погружения логики $\operatorname{HC}$ в логику $\operatorname{IEL}^+$ с сохранением классической импликации”, УМН, 80:5(485) (2025), 187–188; Russian Math. Surveys, 80:5 (2025), 928–930
Цитирование в формате AMSBIB
\RBibitem{Ono25}
\by А.~А.~Оноприенко
\paper Невозможность погружения логики $\operatorname{HC}$ в~логику $\operatorname{IEL}^+$ с~сохранением классической импликации
\jour УМН
\yr 2025
\vol 80
\issue 5(485)
\pages 187--188
\mathnet{http://mi.mathnet.ru/rm10263}
\crossref{https://doi.org/10.4213/rm10263}
\mathscinet{https://mathscinet.ams.org/mathscinet-getitem?mr=5015086}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2025RuMaS..80..928O}
\transl
\jour Russian Math. Surveys
\yr 2025
\vol 80
\issue 5
\pages 928--930
\crossref{https://doi.org/10.4213/rm10263e}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/rm10263
  • https://doi.org/10.4213/rm10263
  • https://www.mathnet.ru/rus/rm/v80/i5/p187
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Успехи математических наук Russian Mathematical Surveys
    Статистика просмотров:
    Страница аннотации:214
    PDF русской версии:8
    PDF английской версии:14
    HTML русской версии:12
    HTML английской версии:2
    Список литературы:33
    Первая страница:28
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2026