• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Теорема о понижении мощности для логик QHC и QH4
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
25 сентября 2026 г.
«Климатический переход - это необязательно ограничение для бизнеса»
Линара Хадимуллина работает в сфере низкоуглеродного развития. В интервью проекту «Молодые ученые Вышки» она рассказала, почему природа для нее не просто красивый фон, зачем исследовать роль устойчивого корпоративного управления в снижении выбросов парниковых газов и как выращивание урожая становится источником вдохновения.
25 сентября 2026 г.
Окно в организм: российские ученые создали нейросеть, которая определяет риск заболеваний по глазам
Российские университеты с участием НИУ ВШЭ, Сбер и концерн ИИ Z-union разработали нейросеть, которая по фотографии сетчатки может одновременно оценивать риск 15 видов патологий, включая не только глазные болезни, но и сердечно-сосудистые заболевания. ИИ-система помогает врачу заметить тревожные изменения на ранней стадии, признаки, которые отражаются на состоянии сосудов сетчатки, и понять, нужно ли человеку пройти дополнительное обследование. Работа опубликована в журнале Frontiers in Medicine.
23 сентября 2026 г.
В НИУ ВШЭ испытали робота с ИИ для распознавания окружающей среды
Инженеры и исследователи Института робототехнических систем НИУ ВШЭ провели первые испытания нейросетевой модели для распознавания среды непосредственно на роботе-собаке. Робот передвигался по зданию НИУ ВШЭ на Покровке, а также по Покровскому бульвару, анализируя окружающую обстановку и определяя, в какой сцене и локации он находится.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Теорема о понижении мощности для логик QHC и QH4

Алгебра и логика. 2022. Т. 61. № 6. С. 720–741.
Оноприенко А. А.

Рассматривается совместная логика задач и высказываний QHC, введённая С. А. Мелиховым, а также интуиционистская модальная логика QH4. Рассмотрено погружение этих логик в классическую логику предикатов первого порядка. Установлен аналог теоремы Лёвенгейма-Сколема о счётной элементарной подмодели для логик QHC и QH4.

Научное направление: Математика
Язык: русский
Полный текст
DOI
Текст на другом сайте
Ключевые слова: переводtranslationKripke semanticsсемантика Крипкенеклассические логикиnon-classical logics
Похожие публикации
Hamiltonian Sets of Polygonal Paths in Assembly Graphs
Guterman A., Jonoska N., Kreines E. и др., Proceedings of the Edinburgh Mathematical Society 2026 Vol. 69 No. 3 P. 1041–1057
Добавлено: 27 сентября 2026 г.
О приложениях обобщённого потенциала Бесселя к решению сингулярного уравнения Шрёдингера дробного порядка и теории ёмкости
Шишкина Э. Л., Современная математика. Фундаментальные направления 2026 Т. 72 № 1 С. 52–67
В статье на основе обобщённого потенциала Бесселя строится весовое пространство Соболева дробного порядка. Полученные результаты применяются для анализа сингулярного уравнения Шрёдингера дробного порядка. Для решения задачи Коши для этого уравнения доказана оценка, связывающая норму решения с нормой начального условия в весовом пространстве Соболева. Остальная часть статьи посвящена вопросам теории ёмкости, построенной на основе обобщённого потенциала Бесселя. ...
Добавлено: 26 сентября 2026 г.
A Semigroup Approach for Constructing the Fractional Power of the Laplace–Bessel Operator
Шишкина Э. Л., Computational Mathematics and Mathematical Physics 2026 Vol. 66 No. 5 P. 804–815
Добавлено: 26 сентября 2026 г.
Matrix Approach To The Fractional Calculus
Колокольцов В. Н., Шишкина Э. Л., Journal of Theoretical Probability 2026 P. 39–83
Добавлено: 26 сентября 2026 г.
AN ANALOGUE OF ROGERS’ THEOREM ON SIEVING IN COMMUTATIVE RINGS
Petr Kucheriaviy, Bulletin of the Australian Mathematical Society 2026
Добавлено: 25 сентября 2026 г.
Билинейные теоремы сложения и последовательности Сомоса
Пелевин Ф. Е., Математические заметки 2026 Т. 120 № 1 С. 159–163
Две не равные тождественно нулю функции (последовательности элементов некоторого поля) будем называть эквивалентными, если они удовлетворяют функциональному уравнению типа теорем сложения тэта-функций. Основной результат работы состоит в том, что рассматриваемое отношение действительно является отношением эквивалентности. ...
Добавлено: 25 сентября 2026 г.
Computable isomorphisms of relative regular Boolean algebras
Shimanogov I. N., Вялый М. Н., Siberian Mathematical Journal 2026 Vol. 67 No. 5 P. 1203–1212
Добавлено: 25 сентября 2026 г.
Dual role of Poisson impulses in Hindmarsh–Rose networks: Disorder, pattern formation, and synchronization
Ramazanov I., Bukh A., Shepelev Igor A., Chaos 2026 No. 36 P. 083150–083150
Добавлено: 24 сентября 2026 г.
Pairings on the algebra of Laurent series over a ring
Левашев В. А., / Series arXiv "math". 2026. No. 2609.06010.
Добавлено: 24 сентября 2026 г.
Vector systems of Painlevé type
Соколов В. В., Adler V. E., Journal of Geometry and Physics 2026 Vol. 227 Article 105860
Добавлено: 24 сентября 2026 г.
ON VECTOR SCHWARZ — KdV EQUATION
Соколов В. В., BALAKHNEV M. Y., Ufa Mathematical Journal 2026 Vol. 18 No. №3 P. 85–93
Добавлено: 24 сентября 2026 г.
Lorentzian Principal Bundles with Compact Structure Groups and Causal Properties
Яковлев Е. И., Maksimov D. A., Mathematical notes 2026 Vol. 120 No. 3 P. 483–496
Исследуются гладкие главные расслоения, тотальные пространства и базы которых представляют собой ориентированные во времени лоренцевы многообразия, а проекции являются лоренцевыми субмерсиями, сохраняющими ориентации во времени. Ранее авторами было показано, что хронологичность, причинность и устойчивая причинность всегда поднимаются с базы на пространство лоренцева расслоения, для сильной причинности и глобальной гиперболичности это верно в случае компактности структурной группы. В данной ...
Добавлено: 24 сентября 2026 г.
Novikov equations for commuting differential operators of orders 3,4,5
Соколов В. В., Shabat G. B., Tsiganov A. V., Journal of Geometry and Physics 2026 Vol. 220
Добавлено: 24 сентября 2026 г.
Hadrons in N=2 supersymmetric QCD from non-Abelian string on 2D black hole
Маршаков А. В., Yung A., Ievlev E. и др., Physical Review D - Particles, Fields, Gravitation and Cosmology 2026 No. 114 P. 1–22
Добавлено: 24 сентября 2026 г.
From non-polynomial invariants to non-Liouvillian first integrals
Demina M.V., Нечитайло В. Г., Analysis and Mathematical Physics 2026 Vol. 16 No. 5 P. 1–25
We present a method of finding non-Liouvillian first integrals of rational two-dimensional differential systems. The method is based on the existence of two independent invariants that satisfy a linear second-order ordinary differential equation with respect to one of the variables. We call systems with this property R-integrable. These invariants are not necessarily polynomial; they can ...
Добавлено: 24 сентября 2026 г.
An Asymptotic Version of the Parametrix Method for Markov Chains Converging to Diffusions
Bitter I., Конаков В. Д., Mathematical notes 2026 Vol. 120 No. 4 P. 599–615
Добавлено: 24 сентября 2026 г.
Iterative construction of the R-matrices in arbitrary dimensions
Пятов П. Н., Пивоваров П. А., / Series math "arxiv.org". 2026. No. 2609.06274.
Добавлено: 24 сентября 2026 г.
Описание Московского царства в латинских космографиях: практики перевода на примере «Космографии Меркатора» и «Описания Света» Де Линды
Кузнецова А. Д., Диалог со временем 2026 № 96 С. 278–293
Передача на русский язык сообщений о Московском царстве из европейских космографий зависела не только от знания латыни переводчиками, но также от структуры текста оригинала и опыта предшествующих переводов. Компилятивность космографий и узкий круг их источников приводили к повторному переводу одних и тех же сведений. В статье на примере глав о «Москве» из «Космографии Меркатора» (1637) ...
Добавлено: 9 сентября 2026 г.
Tokyo Sympathy Tower by Qudan Rie: The Tower of Babel of Our Days and the Birth of the “New Human”
A. Yu. Borkina, Russian Japanology Review 2026 Vol. 9 No. 1 P. 30–48
Добавлено: 2 сентября 2026 г.
Kinh nghiệm cửa LB Nga trong việc viết sách giáo khoa về dịch thuật tiếng Việt
Бритов И. В., Tyumeneva E., Glazunova S., , in: Ngoại giao, biên phiên dịch và hợp tác quốc tế của Việt Nam trong kỷ nguyên mới.: Hà Nội: Nhà xuất bản Đại học quốc gia Hà Nội, 2026. P. 417–427.
В статье анализируется российский опыт написания учебников по переводу с вьетнамского языка на русский и с русского на вьетнамский. На основе пяти учебников, написанных в России за последние тридцать лет, выявляются формы и методы обучения как устному, так и письменному переводу. Дается сравнительная характеристика каждого из представленных учебников по трем основным параметрам: методический анализ, социокультурный ...
Добавлено: 11 августа 2026 г.
Ngoại giao, biên phiên dịch và hợp tác quốc tế của Việt Nam trong kỷ nguyên mới
Hà Nội: Nhà xuất bản Đại học quốc gia Hà Nội, 2026.
Добавлено: 11 августа 2026 г.
Перевод и языковая адаптация в литературных текстах средневековой Европы
СПб.: Институт лингвистических исследований РАН, 2021.
В сборнике представлены статьи участников проекта РНФ «Перевод и языковая адаптация в литературных текстах средневековой Европы», демонстрирующие различные подходы  к проблематике перевода на широком материале многочисленных литературных традиций и разных временных срезов. Сборник также содержит раздел,предлагающий переводы средневековых текстов на современный русский язык. Издание подготовлено при поддержке гранта РНФ No 17-18-01624. ...
Добавлено: 30 июня 2026 г.
Интуиционистская эпистемическая логика с точки зрения классической логики
Оноприенко А. А., Математические заметки 2026 Т. 120 № 1 С. 118–139
Рассматриваются интуиционистские эпистемические логики IEL−, IEL и IEL+, введенные С. Артёмовым и Т. Протопопеску. Строится перевод формул этих логик в формулы классической бимодальной логики S4V−M, S4VM, S4V+M и S4V+MU, являющийся обобщением варианта перевода Гёделя интуиционистской логики в логику S4. Показана конечность множества попарно неэквивалентных модальностей в логиках S4V+M и S4V+MU и бесконечность множества попарно неэквивалентных ...
Добавлено: 22 июня 2026 г.
Переводить или переписывать? Речь Посполитая в русском переводе «Описание света» Луки де Линды
Кузнецова А. Д., Славяноведение 2025 № 6 С. 5–18
В статье рассматривается текст о Речи Посполитой в «Описании света» ‒ русском переводе латинской космографии «Descriptio Orbis» Луки де Линды. Именно описание Речи Посполитой, которому автор уделяет особое внимание, подвергается при переводе изменениям: части про географию, чины, польских королей переработаны и содержат детали, которых нет в оригинале. Тактика переводчика – замалчивание и смена акцентов: так, ...
Добавлено: 15 мая 2026 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору