• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Non-well-founded proofs for the Grzegorczyk modal logic
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 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
  • еще
Тематика
Новости
17 июня 2026 г.
Биоинформатики НИУ ВШЭ обнаружили 20 опасных мутаций в гене, связанном с легочной артериальной гипертензией
Ученые НИУ ВШЭ совместно с коллегами из российских университетов выяснили, какие мутации в гене ACVRL1 опасны для пациентов с легочной артериальной гипертензией. Они смоделировали, как изменения в гене влияют на связывание АТФ с белком — процесс, от которого зависит передача сигналов, необходимых для работы сосудов. Оказалось, что 20 из 32 вариантов могут нарушать передачу сигнала и провоцировать болезнь. Результаты опубликованы в Journal of Structural Biology.
17 июня 2026 г.
Интеллектуальная робототехника: кадровый голод и масса возможностей
Пока на рынке мало кадров, способных заниматься разработкой интеллектуальных робототехнических систем. Между тем именно к этому идет робототехника. Как учат ее проектированию и каково будущее отрасли, в интервью IQ Media рассказал заведующий Проектно-учебной лабораторией робототехники НИУ ВШЭ Вадим Моргачев.
17 июня 2026 г.
Каким должно быть образование, чтобы готовить кадры для экономики будущего
Эти вопросы обсудят на форуме HR EXPO PRO ЛЮДЕЙ, который состоится 18-19 июня в Москве. В его работе примет участие ректор НИУ ВШЭ Никита Анисимов, федеральные министры, HR-директора компаний, ректоры вузов, эксперты. На форуме будет представлен стенд, посвященный программам ДПО НИУ ВШЭ.

 

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

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

?

Non-well-founded proofs for the Grzegorczyk modal logic

Review of Symbolic Logic. 2021. Vol. 14. No. 1. P. 22–50.
Yury Savateev, Daniyar Shamkanov
Научное направление: Математика Философия, этика, религиоведение
Приоритетные направления: математика
Язык: английский
Полный текст
DOI
Ключевые слова: cut eliminationcyclic proofsNon-well-founded proofs Grzegorczyk logicLyndon interpolation
Похожие публикации
Open Hurwitz numbers and the mKP hierarchy
Буряк А. Ю., Troshkin M., Journal of Geometry and Physics 2026 Vol. 223 Article 105783
We give a natural definition of open Hurwitz numbers, where the weight of each ramified covering includes an integer parameter N taken to the power that is equal to the number of boundary components of a Riemann surface with boundary mapping to . We prove that the resulting sequence of partition functions, depending on , is a tau-sequence of ...
Добавлено: 19 июня 2026 г.
Bihamiltonian structure of the DR hierarchy in the semisimple case
Буряк А. Ю., Rossi P., Communications in Mathematical Physics 2025 Vol. 406 Article 205
Of the two approaches to integrable systems associated to semisimple cohomological field theories (CohFTs), the one suggested by Dubrovin and Zhang and the more recent one using the geometry of the double ramification (DR) cycle, the second has the advantage of being very explicit. The Poisson operator of the DR hierarchy is , where  is the metric ...
Добавлено: 19 июня 2026 г.
Краснее красного. Иллюзионизм или феноменальный сюрреализм?
Humphrey N., Философский журнал 2026 Т. 19 № 2 С. 99–106
Ощущения представляют собой наше субъективное «схватывание» сенсорнойстимуляции – то, какие чувства вызывают красный свет, падающий на сетчатку,соль, растворяющаяся на языке, шип, впивающийся в кожу. Они передают – на языке феноменальных свойств, – каков этот опыт для нас. Поскольку они выражают реальность этого субъективного отношения, их нельзя считать иллюзорными. Это отношение, каким бы магическим оно ни ...
Добавлено: 19 июня 2026 г.
Сюрреализм – иллюзионизм на языке феноменального реализма
Горбачев М. Д., Философский журнал 2026 Т. 19 № 2 С. 107–117
Данная публикация представляет собой комментарий к переводу статьи Николаса Хамфри «Redder than Red. Illusionism or Phenomenal Surrealism?», где он предлагает, как может показаться, альтернативный иллюзионистской теории сознания подход – феноменальный сюрреализм. Его главная идея заключается в том, что наш субъек­тивный опыт более реален, чем объективная реальность, поскольку в последней нет, например, смешного, прекрасного или страшного ...
Добавлено: 19 июня 2026 г.
Общественное измерение креативности и исторический материализм
Переяслов А. Д., Коммуникации. Медиа. Дизайн 2024 Т. 9 № 2 С. 109–131
Автор статьи предлагает расширить понимание креативности в поле исторического материализма. Приводятся примеры отражения внеэконмических проявлений креативности в различных гуманитарных науках. Особый акцент делается на теории социального действия и социологической теории креативности Х. Йоаса. ...
Добавлено: 19 июня 2026 г.
Социальное программирование как методологический инструмент сетевой самоорганизации: проблемы и тенденции (материалы «круглого стола»)
Пружинин Б. И., Афанасов Н. Б., Буданов В. Г. и др., Вопросы философии 2026 № 5 С. 5–35
В декабре 2025 г. в Институте философии РАН состоялся «круглый стол» с международным участием на тему «Социальное программирование как методологический инструмент сетевой самоорганизации: проблемы и тенденции». Организаторы «круглого стола» – журнал «Вопросы философии» и представители научного проекта № 25-28-00707 «Социальное программирование как проблема сетевой самоорганизации», поддержанного Российским научным фондом. В обсуждении приняли участие философы-эпистемологи, специалисты ...
Добавлено: 18 июня 2026 г.
Advances in Information Retrieval: 48th European Conference on Information Retrieval, ECIR 2026, Delft, The Netherlands, March 29 – April 2, 2026, Proceedings, Part II. (LNCS, volume 16484)
Cham: Springer Publishing Company, 2026.
Добавлено: 18 июня 2026 г.
Искусственный интеллект как роза научной деятельности: исследование Тимоти Гауэрса
Поддьяков А. Н., Троицкий вариант. Наука 2026 № 12 С. 24–25
В научно-популярной заметке представлен обзор содержания поста филдсовского медалиста Тимоти Гауэрса о возможностях ИИ в математике и содержания комментариев под постом. Обзор сделан в основном чат-ботом DeepSeek. В заключение обсуждается возможность не только решения задач искусственным интеллектом, но и их постановки. ...
Добавлено: 18 июня 2026 г.
Два пути христианского единства в эпоху исторической катастрофы: С. М. Соловьёв и Л. П. Карсавин:предисловие к публикации
Бессчетнова Е. В., Жукова М. В., Patria 2026 Т. 3 № 2 С. 141–147
Настоящая публикация вводит в научный оборот рецензию мыслителя и впоследствии католического священника восточного обряда Сергея Михайловича Соловьёва (1885–1942) на книгу Льва Платоновича Карсавина «Восток, Запад и русская идея», вышедшую в Петрограде в 1922 году. Текст, сохранившийся в Отделе рукописей РГБ, является не просто отзывом современника, но драматическим документом эпохи, запечатлевшим ключевую развилку русской религиозно-философской мысли ...
Добавлено: 18 июня 2026 г.
Natural Science Perspectives in the Psychology of Religion: From Early Biological Interpretations to Contemporary Cognitive, Evolutionary, and Neuroscientific Approaches
Двойнин А. М., Natural Systems of Mind 2025 Vol. 5 No. 4 P. 4–21
Актуальность и проблема исследования. Психология религии прошла нелинейный путь: расцвет (1880–1920), спад и возобновление развития с 1990-х годов. Несмотря на интенсификацию исследований, обусловленную достижениями генетики, нейронауки и когнитивной науки, систематический обзор становления естественнонаучных подходов в психологии религии отсутствует. Цель исследования. Представление обобщенного историко-теоретического анализа естественнонаучных подходов в психологии религии — от ранних биологических интерпретаций до современных когнитивных, ...
Добавлено: 17 июня 2026 г.
Optimal Extraction with an Impact on Diffusion-Jump Pricing
Garzón J., Mora Rodríguez J., Морено Ф. Г., Applied Mathematics and Optimization 2026 Vol. 94 No. 10 P. 1–43
Добавлено: 17 июня 2026 г.
Коммуникация с непохожим Другим в мультикультурном классе: от межкультурной компетенции к кросс-культурному интеллекту
Мошняга Е. В., Иностранные языки в школе 2025 № 9 С. 16–24
В данной статье анализируется новый контекст взаимодействия в образовательных пространствах, создаваемый изменившимися условиями реализации международных образовательных программ, а именно появлением непохожего Другого студента. В мультикультурном классе оказываются представители самых разных культур, зачастую незнакомых для принимающей культуры и /или недружественных друг другу, что ведёт к конфликтной коммуникации. Преподаватель в таком мультикультурном классе в своём профессиональном и ...
Добавлено: 16 июня 2026 г.
Конструирование нового другого в эдьюскейпе. Коммуникация с непохожими другими: чужими и чуждыми
Мошняга Е. В., Хуссейн И., Человек: образ и сущность. Гуманитарные аспекты 2025 № 4(64) С. 125–147
В статье рассматривается серия кросс-культурных кейсов, в которых раскрываются проблемы межкультурного взаимодействия непохожих Других в образовательном пространстве университета, реализующего междуна-родные программы и осмысливаемого как глокальный эдьюскейп. На основе ана-лиза проблемных ситуаций в кейсах предлагаются решения исходя из понимания того, что успешное взаимодействие участников образовательного процесса как агентов изменений в эдьюскейпе требует конструирования и со-конструирования нового ...
Добавлено: 16 июня 2026 г.
Многополярность: мир после либерализма
фон Хоффмайстер К., СПб.: Владимир Даль, 2026.
В предлагаемой вниманию читателя книге Константин фон Хоффмайстер провозглашает завершение эпохи однополярного господства США и наступление новой эры, в которой самобытные цивилизации будут отстаивать свой суверенитет в битве против слабеющего универсализма либерального Запада. Автор излагает философские и геополитические основы нового многополярного мира, в котором мировая история творится в динамичном взаимодействии крупных держав, каждая из которых руководствуется собственными уникальными традициями. Фон Хоффмайстер ...
Добавлено: 16 июня 2026 г.
Об устройстве целевого приёма в России.
Нестеров А. С., Журнал Новой экономической ассоциации 2026
В этой статье рассматривается целевой приём в вузы в России с точки зрения науки об устройстве рынков сочетания и экономических механизмов (matching market and mechanism design), ключевого направления современной теории игр. Мы изучаем механизм целевого приёма -- набор правил, по которым устраивается трёхстороннее сочетание между абитуриентом, заказчиком и образовательной программой. Используемый в России механизм имеет ...
Добавлено: 16 июня 2026 г.
Strong Approximations for Markov Chains Weakly Converging to Diffusions
Конаков В. Д., Кучер Д. А., Mammen E., / Series arXiv "math". 2026. No. 2606.11142v1.
Добавлено: 11 июня 2026 г.
Цифровая камера и классическая государственно-правовая теория
Куренной В. А., Логос 2026 Т. 36 № 1 С. 1–38
В статье дан краткий обзор современного применения цифровых камер и фундаментальных изменений в обществе, обусловленных их использованием. Цифровое видеонаблюдение становится неотъемлемой частью городской инфраструктуры, трансформируя представления о публичном пространстве, приватности и контроле. Рассмотрены ключевые риски, которые сегодня связываются с распространением цифрового видеонаблюдения, включая потенциальные угрозы личной свободе и возникновение «общества тотального надзора». Вместе с тем приве-дены возражения на алармистские ожидания, объяснимые игнорирова-нием действующих конституционных и правовых ...
Добавлено: 11 июня 2026 г.
Bifurcations and Structural Stability of Generic PC-HC Families
Доровский А. А., / Series arXiv "math". 2026.
Добавлено: 14 мая 2026 г.
On the minimum number of maximal distance-k independent sets in trees
Талецкий Д. С., / Series arXiv "math". 2026.
Добавлено: 1 мая 2026 г.
On Arithmetic Mirror Symmetry for smooth Fano fourfolds
Овчаренко М. А., / Series arXiv "math". 2026.
Добавлено: 30 апреля 2026 г.
On weak solutions to the 1d compressible Navier-Stokes equations: a Lipschitz continuous dependence on data in weaker norms and an error of their homogenization
Zlotnik Alexander, / Series arXiv "math". 2026. No. 2602.03481v1.
Добавлено: 18 апреля 2026 г.
On the dimension of the space of static potentials on three-manifolds
Медведев В. О., / Series arXiv "math". 2026.
We investigate the interplay between the dimension of the space of static potentials and the geometric and topological structure of the underlying static three-manifold. A partial classification of boundaryless static manifolds is obtained in terms of this dimension. We also treat the case of static manifolds with boundary. In particular, we prove that if a ...
Добавлено: 3 апреля 2026 г.
Using predefined vector systems to speed up neural network multimillion class classification
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Homogeneous maximizers of the Blaschke-Santalo-type functionals
Колесников А. В., / Series arXiv "math". 2025.
Добавлено: 13 февраля 2026 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • http://www.edu.ru
    Федеральный портал «Российское образование»
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика конфиденциальности
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору