• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Препринты
  • On structural proof theory of the modal logic K+ extended with infinitary derivations
  • 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
  • еще
Тематика
Новости
15 октября 2026 г.
Ученые НИУ ВШЭ выяснили, куда смотрят дети и взрослые при чтении
Исследователи Центра языка и мозга НИУ ВШЭ совместно с зарубежными коллегами показали, что в конце первого класса у детей уже сформирован один из важных навыков движений глаз при чтении. Они, как и взрослые, быстро адаптируют длину саккад — быстрых скачков взгляда — к длине слов в предложениях. При этом место, куда приземляется взгляд, у детей смещено к началу слова, в отличие от взрослых, которые смотрят в середину слова. Чем выше беглость чтения, тем ближе эта позиция к центру. Результаты исследования опубликованы в Journal of Experimental Child Psychology.
13 октября 2026 г.
Российские ученые поставили под сомнение установление рекорда в замерах свойств сверхпроводников
Топологические изоляторы проводят ток только по поверхности и поэтому рассматриваются как перспективные материалы для будущей электроники и квантовых технологий. Особый интерес представляет их контакт со сверхпроводниками. Физики из НИУ ВШЭ показали, что недавний эксперимент, в котором в такой гибридной структуре якобы наблюдалось объединение электронных пар на рекордном расстоянии 1,5 мкм, допускает более прозаичное объяснение. По их мнению, тот же сигнал может быть обусловлен обычным прохождением электронов через сверхпроводник. Дискуссия исследователей развернулась на страницах Nature Physics.
12 октября 2026 г.
Устойчивое управление и стоимость бизнеса: экономисты ВШЭ выяснили, как они связаны на российском рынке
На российском рынке устойчивое развитие повышает стоимость бизнеса прежде всего тогда, когда становится частью корпоративной стратегии. К такому выводу пришли исследователи НИУ ВШЭ и их зарубежные коллеги, проанализировав практики управления 152 публичных российских компаний. Статья опубликована в журнале Business Strategy and the Environment.

 

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

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

?

On structural proof theory of the modal logic K+ extended with infinitary derivations

2023.
Шамканов Д. С.
Научное направление: Философия, этика, религиоведение Математика
Приоритетные направления: математика
Язык: английский
DOI
Текст на другом сайте
Ключевые слова: cut eliminationNon-well-founded proofstransitive closureinfinitary derivations
Похожие публикации
Макс Шелер: pro et contra, антология
СПб.: Издательство РХГА, 2026.
Макс Шелер (1874–1928) является одной из ключевых фигур в философии XX века. Прожив сравнительно короткую жизнь, он оставил яркий след в европейской философской мысли, в своих сочинениях осуществив глубокую и фундаментальную разработку основных областей философского знания. Всегда чувствуя актуальные тенденции современного мира и живо, со всей страстью своей спонтанности откликаясь на них, Шелер не случайно ...
Добавлено: 20 октября 2026 г.
Размышления о технике
Ортега-и-Гассет Х., М.: Ад Маргинем Пресс, 2026.
Книга объединяет два текста испанского философа Хосе Ортега-и-Гассета (1883-1955), посвященных осмыслению роли техники на протяжении истории: "Размышления о технике"- изначально небольшой курс лекций, прочитанных в Летнем университете Сантандера в 1933 году, - и доклад "Миф о человеке за техникой" (1951) в рамках так называемых Дармштадтских бесед. В них Ортега рассуждвет о различиях между человеком и животным, ...
Добавлено: 20 октября 2026 г.
A Neural Network Approach for Generating Libration Point Orbits
Lev Pyatko, Sergey Aksenov, Regular and Chaotic Dynamics 2026 Vol. 31 No. 5 P. 794–813
In the circular restricted three-body problem, families of periodic and quasi-periodic orbits exist in the vicinity of the libration points and are of significant interest for practical applications. This work presents a neural network-based algorithm for orbit construction and station-keeping, applicable to both periodic and quasi-periodic orbits near collinear libration points. The method employs a ...
Добавлено: 19 октября 2026 г.
Основы теории информации
Воронцова Т. Д., М.: Академия, 2025.
Учебник подготовлен в соответствии с требованиями федеральных государственных образовательных стандартов среднего профессионального образования и  предназначен для изучения профессиональных модулей «Защита информации в  информационно-телекоммуникационных системах и  сетях с  использованием программных и  программно-аппаратных, в том числе криптографических средств защиты» и «Защита информации в  автоматизированных системах программными и  программно-аппаратными средствами». Содержание учебника включает в себя аксиоматику теории информации, а  также такие фундаментальные понятия, как ...
Добавлено: 19 октября 2026 г.
Сверхъестественное в век лечебниц
Носачев П. Г., Studia Religiosa Rossica: научный журнал о религии 2026 № 3 С. 193–200
Рецензия на книгу: Davies O. Troubled by faith: Insanity and the supernatural in the age of the asylum. Oxford: Oxford University Press, 2023. 336 p. ...
Добавлено: 19 октября 2026 г.
Междисциплинарность современной науки как философская проблема. Стиль мышления Владимира Петровича Зинченко (материалы «круглого стола»)
Пружинин Б. И., Лекторский В. А., Марцинковская Т. Д. и др., Вопросы философии 2026 № 8 С. 5–38
25 апреля 2026 г. в журнале «Вопросы философии» состоялся «круглый стол» «Междисциплинарность современной науки как философская проблема. Стиль мышления Владимира Петровича Зинченко», посвященный 90-летнему юбилею этого легендарного отечественного психолога и философа. В обсуждении приняли участие философы-эпистемологи, специалисты в области нейронаук и методологии науки, психологи, историки философии, психотерапевты. Их объединяет не только исследовательский интерес к проблемам ...
Добавлено: 18 октября 2026 г.
Моментные оценки для стохастической аппроксимации
Наумов А. А., Рубцов А. С., Самсонов С. В. и др., Успехи математических наук 2026 Т. 81 № 4 (490) С. 161–162
Краткое сообщение рассматривает Моментные оценки для стохастической аппроксимации ...
Добавлено: 17 октября 2026 г.
An infinite series of Gorenstein local algebras failing the affine homogeneity property
Roman Avdeev, Yulia Zaitseva, Mediterranean Journal of Mathematics 2026 Vol. 23 No. 7 Article 224
Добавлено: 17 октября 2026 г.
Turbulent Exchange Tensor in the Atmospheric Boundary Layer: An Inverse-Problem Approach Using Radiosonde Wind Observations with High Vertical Resolution
Гордин В. А., Ефременко Д. С., Boundary-Layer Meteorology 2026 Vol. 192 No. 51
An inverse problem of reconstructing the turbulent exchange tensor from large archives of observed wind profiles within the Åkerblom–Ekman (A-E) model framework is investigated using high-vertical-resolution radiosonde observations. The reconstructed tensor provides improved agreement between modeled and observed wind profiles compared to classical formulations based on real turbulent exchange coefficient. Instead of the classical A-E ...
Добавлено: 16 октября 2026 г.
Diversity of chaos with additional zero Lyapunov exponents in heterogeneous ensemble of quasi-periodic and chaotic systems
Kuznetsov A. P., Sedova Y. V., Станкевич Н. В., Chaos, Solitons and Fractals 2026 Vol. 213 No. 12 Article 119309
Добавлено: 16 октября 2026 г.
A Reproducible Microscopy Acquisition Pipeline and Microscopy-Aware Attention for Classification, Detection, and Segmentation of Microorganisms
Aleksei Samarin, Назаренко А. А., Nazarenko D. и др., Machine Learning and Knowledge Extraction 2026 Vol. 8 No. 10 Article 330
Добавлено: 14 октября 2026 г.
On Calculation of Robustness and Stability of Formal Concepts Based on Delta Measure
Parkhomenko V., Куликова С. П., Бузмаков А. В., Lobachevskii Journal of Mathematics 2026 Vol. 47 No. 6 P. 2979–2992
Добавлено: 14 октября 2026 г.
Shrimps as a fundamental object of nonlinear dynamics. Overview, properties and quasi-periodic generalization
Kuznetsov A. P., Sedova Y. V., Sataev I. R. и др., Mathematics and Computers in Simulation 2027 Vol. 2 P. 574–592
Добавлено: 14 октября 2026 г.
Poincaré series of valuations on functions over a subfield of complex numbers
Гусейн-Заде С. М., Campillo A., Delgado F., Mathematische Zeitschrift 2026 Vol. 314 No. 1 P. 1–22
Добавлено: 13 октября 2026 г.
Русская религиозная мысль в современных исследованиях и образовании: актуальные дискуссии
Жукова О. А., Вопросы философии (Российская Федерация) 2026 № 10 С. 214–222
Статья посвящена актуальным дискуссиям в области исследований русской религиозной философии и практикам ее преподавания в российских государственных и конфессиональных вузах. Она обобщает обсуждение теоретических и практических аспектов изучения философского наследия России и ее традиции религиозной мысли, которые были рассмотрены на Круглом столе «Русская религиозная мысль в современных исследованиях и образовании: философия, теология, философия религии», состоявшемся ...
Добавлено: 13 октября 2026 г.
Формы, которые мыслят: синергетика Фуллера о дизайне агентности
Князева Е. Н., Вопросы философии 2026 № 10 С. 82–93
Статья посвящена философскому анализу синергетики Ричарда Бакминстера Фуллера как основания системного и креативного дизайна в условиях цифрового мира и усложнения современных форм взаимодействия. В центре исследования находится идея формы как активного принципа организации действия, мышления и распределенной агентности. Показывается, что в концепции Фуллера геометрия перестает быть лишь описанием пространственных структур и превращается в универсальный язык ...
Добавлено: 12 октября 2026 г.
Вьетнамские исследования
ИДВ РАН, 2026.
Статья посвящена проблеме восприятия национального вьетнамского костюма как инструмента культурной репрезентации в контексте официальных государственных мероприятий, проходящих во Вьетнаме и за его пределами. Исследование фокусируется на конкретных примерах проведения протокольных визитов, встреч и форумов, а также конкурсов красоты, в рамках которых используется костюм аозай и другие виды и элементы национальной одежды. Сделан вывод, что, несмотря ...
Добавлено: 12 октября 2026 г.
Wave scattering by a sloping beach of an arbitrary angle. Revisited: regular solution
Mishuris G., Meylan M. H., Пелиновский Е. Н., Journal of Fluid Mechanics 2026 Vol. 1045 Article A4
Добавлено: 12 октября 2026 г.
Дифференциальная геометрия и топология. Курс лекций
Гусейн-Заде С. М., М.: МЦНМО, 2026.
Книга содержит курс лекций по дифференциальной геометрии и топологии, читавшихся автором на механико-математическом факультете МГУ в разные годы. В дополнениях приводятся некоторые сюжеты (связности в расслоениях, теорема Фробениуса, производные Ли и др.), которые были включены в курс в отдельные годы либо содержались в аналогичных курсах лекций в Независимом московском университете. Для студентов математических и физических специальностей. ...
Добавлено: 12 октября 2026 г.
От персонализма к эсхатологии. Образы зла в произведениях Ф.М. Достоевского в контексте постсекулярной теории
Харитонов Т. И., Человек 2026 Т. 37 № 5 С. 7–24
В статье проводится философская реконструкция форм объяснения зла в творчестве Достоевского в контексте постсекулярной теории и теории компенсации модерна О. Маркварда и Г. Люббе. Проблематизация зла в творчестве писателя рассматривается в диахронической перспективе как переход от эстетизма произведений 1840-х годов к персонализму в 1860-х и эсхатологии в 70-х – 80-х. Последовательный отказ позднего Достоевского от ...
Добавлено: 11 октября 2026 г.
Pairings on the algebra of Laurent series over a ring
Левашев В. А., / Series arXiv "math". 2026. No. 2609.06010.
Добавлено: 24 сентября 2026 г.
Iterative construction of the R-matrices in arbitrary dimensions
Пятов П. Н., Пивоваров П. А., / Series math "arxiv.org". 2026. No. 2609.06274.
Добавлено: 24 сентября 2026 г.
On static manifolds with boundary admitting a nowhere-vanishing static potential
Медведев В. О., / Series arXiv "math". 2026.
We study complete static manifolds with boundary admitting a nowhere-vanishing static potential. Our main result shows that, under a natural lower bound relating the scalar curvature and the boundary mean curvature, a simple static manifold with boundary must in fact have positive scalar curvature, negative boundary mean curvature, and be compact; we also obtain explicit ...
Добавлено: 19 сентября 2026 г.
Vague stimulating ideas, images and metaphors in scientific thinking: researchers' work with horizons of unclear knowledge
Поддьяков А. Н., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Добавлено: 15 сентября 2026 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору