• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Franco Montagna’s Work on Provability Logic and Many-valued 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
  • еще
Тематика
Новости
25 августа 2026 г.
Исследователи ВШЭ сравнили рекомендательные алгоритмы по правилам спортивного турнира
Исследователи Института искусственного интеллекта и цифровых наук ФКН НИУ ВШЭ разработали подход, который помогает эффективнее подбирать рекомендательные алгоритмы. В нем разные методы попарно соревнуются, а по результатам всех поединков составляется общий рейтинг. Это помогает сократить число алгоритмов, которые нужно проверять при разработке новых сервисов, и сэкономить денежные и временные ресурсы.Исследование было представлено на  32-й конференции ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2026).
20 августа 2026 г.
<a>Исследователи НИУ ВШЭ и Сбера научили нейросети лучше угадывать предпочтения пользователей
Институт искусственного интеллекта и цифровых наук ФКН НИУ ВШЭ и Сбер представили новую архитектуру для рекомендательных систем: благодаря объединению двух классов моделей алгоритмы лучше угадывают интересы и потребности пользователей. Препринт работы опубликован на сайте arxiv.org и представлен на летнем фестивале «Урбан ML».
19 августа 2026 г.
Ученые ВШЭ разработали алгоритм, позволяющий производить более надежные процессоры для ЦОД
Ученые из МИЭМ ВШЭ и Самарского университета создали алгоритм LRF-3D для автоматического обхода неработающих узлов в трехмерных сетях на кристалле. Благодаря своей иерархической организации он превосходит аналоги по быстродействию и точности пути, повышая надежность процессоров для использования в ЦОД, суперкомпьютерах и ИИ-вычислениях. Исходные коды алгоритмов и тестов опубликованы в открытом доступе.

 

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

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

?

Franco Montagna’s Work on Provability Logic and Many-valued Logic

Studia Logica. 2016. Vol. 104. No. 1. P. 1–46.
L. Beklemishev, Flaminio T.

Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic.

Научное направление: Философия, этика, религиоведение Математика
Приоритетные направления: компьютерно-математическое математика
Язык: английский
Полный текст
DOI
Ключевые слова: provability logicлогика доказуемостиMany-valued logicsМногозначные логики
Похожие публикации
Plato’s cave as a co-working space
Жданов В. Л., AI and Society 2026 P. n.d.–n.d.
Статья предлагает переосмыслить знаменитую аллегорию пещеры Платона применительно к современной культуре цифрового присутствия. Отправной точкой становится матч Аргентина — Англия на чемпионате мира 2026 года: автор обращает внимание на зрителей, которые, находясь на стадионе и имея возможность непосредственно наблюдать за игрой Лионеля Месси, предпочитают снимать происходящее на смартфоны. В отличие от узников Платона, современные зрители не ...
Добавлено: 25 августа 2026 г.
Balanced sets and homotopy invariants of covers
Блудов М. В., Journal of Fixed Point Theory and Applications 2026 No. 28 Article 73
Добавлено: 25 августа 2026 г.
Exact solutions for transport of distributed colloids in porous media
L.I. Kuzmina, Osipov , Y. V., Kolokoltseva, T. N., Advances in Water Resources 2026 Vol. 213 Article 105335
Добавлено: 25 августа 2026 г.
MODEL OF DEEP BED FILTRATION IN A POROUS MEDIUM WITH HETEROGENEOUS POROSITY
Liudmila I. Kuzmina, Osipov, Y. V., International Journal for Computational Civil and Structural Engineering 2026 Vol. 22 No. 2 P. 138–148
Добавлено: 25 августа 2026 г.
Exact Solutions to One-Dimensional Problem of Oil Displacement by Chemical
L.I.Kuzmina, Osipov Y. V., Mathematical notes, ISSN 0001-4346 2025 Vol. 116 No. 6 P. 1251–1261
Добавлено: 25 августа 2026 г.
Хранители России. Антология.
Лупарева Н. Н., Парсамов В. С., Ананьев Д. А. и др., М.: ООО «Паблис», 2026.
В третьем томе антологии публикуются сочинения русских мыслителей по преимуществу первой четверти XIX века, свидетельствующие о рождении консервативно-хранительной мысли, ибо в этих сочинениях были точно сформулированы требования "мудрости хранительной" и противостояние политике "перемен ради самих перемен". В книгу вошли сочинения преподобного Серафима Саровского, Н.М. Карамзина, А.С. Шишкова, Ф.В. Ростопчина, С.Н. Глинки, А.С. Стурдзы, М.Л. Магницкого, ...
Добавлено: 24 августа 2026 г.
«Отечестволюбец»: общественно-политическая деятельность и взгляды Сергея Николаевича Глинки.
Лупарева Н. Н., Воронеж: Новый взгляд, 2012.
Монография представляет собой первое целостное исследование идейно-политической биографии одного из видных представителей русского консерватизма первой четверти XIX столетия. В книге раскрывается вклад С.Н. Глинки в формирование патриотических настроений в русском обществе накануне Отечественной войны 1812 г. Это направление его деятельности было связано с изданием журнала «Русский вестник», который впервые выразил все основные идеи консервативно-националистического направления ...
Добавлено: 24 августа 2026 г.
Проблема национальной самобытности в трудах российских консерваторов первой четверти XIX в.
Лупарева Н. Н., Русско-византийский вестник 2021 № 2(5) С. 166–182
Статья посвящена становлению понятия национальной самобытности в русской консервативной мысли первой четверти XIX в. Фактором, повлиявшим на начало процесса самоидентификации русского образованного общества, стало агрессивное западничество, нашедшее выражение в галломании русской аристократии и либеральных реформах Александра I, проходивших на фоне наполеоновских вой н и европейской реакции на Французскую революцию. Такие мыслители и общественные деятели, как ...
Добавлено: 24 августа 2026 г.
Сергей Николаевич Глинка
Лупарева Н. Н., Вопросы истории 2019 № 5 С. 22–37
В публикации реконструируется идейно-политическая биография видного представителя русской консервативной мысли первой четверти XIX в. Сергея Николаевича Глинки - литератора, публициста, издателя журнала "Русский вестни", автора многотомной "Русской истории"и одного из организаторов Московского ополчения в 1812 году. В своих сочинениях и общественно-политической деятельности Глинка отстаивал идею цивилизационной самобытности России, для которой характерна сильная монархическая государственность, значимая ...
Добавлено: 24 августа 2026 г.
«Русский вестник» С.Н. Глинки
Лупарева Н. Н., Русско-византийский вестник 2019 № 1 С. 346–368
Статья посвящена журналу Сергея Николаевича Глинки «Русский вестник», почти беспрерывно издававшемуся с 1808 по 1824 гг. Журнал был создан пред чувствием надвигающейся большой войны между Россией и Францией и раскрывал основной круг вопросов, интересовавших консерваторов первой четверти XIX в. — требования отказа от подражательства европейским, прежде всего, французским культурным, политическим и бытовым образцам, важности об ращения ...
Добавлено: 24 августа 2026 г.
«Восточный вопрос» в сочинениях С.Н. Глинки
Лупарева Н. Н., Русско-византийский вестник 2018 № 1 С. 113–119
Статья посвящена ранее не изучавшемуся в отечественной и зарубежной историографии аспекту взглядов известного общественно-политического деятеля, издателя и публициста, представителя консервативной мысли первой четверти XIX в. Сергея Николаевича Глинки — его воззрениям на «Восточный вопрос» во внешней политике России. Взгляды Глинки рассмотрены в контексте общей истории и осмысления данной проблемы. Он воспроизводил ставший традиционным тезис о ...
Добавлено: 24 августа 2026 г.
«Перо Глинки первое на Руси начало перестреливаться с неприятелем»: «Русский вестник» С.Н. Глинки накануне и в период Отечественной войны 1812 года
Лупарева Н. Н., Христианское чтение 2018 № 5 С. 175–186
Статья посвящена истории издания журнала Сергея Николаевича Глинки «Русский вестник». Созданный под впечатлением надвигающейся большой войны с Наполеоном, он должен был, по мысли издателя, подготовить русское общество не только к военно-политической, но и к социокультурной борьбе с Францией. Так как Франция и французская культура, чрезвычайно популярная в России первой четверти XIX в., ассоциировались с революционными ...
Добавлено: 24 августа 2026 г.
Роль православия в консервативной модели общественного устройства С.Н. Глинки
Лупарева Н. Н., Христианское чтение 2017 № 2 С. 276–287
Представленная статья посвящена роли православия в концепции обще ственно-политического устройства Сергея Николаевича Глинки — яркого представителя консервативного лагеря в царствование Александра I, издателя патриотического журнала «Русский вестник», автора известной в начале XIX в. «Русской истории». Консервативный проект Глинки стал реакцией на Французскую революцию, с его точки зрения, спровоцированной идеями атеистического европейского Просвещения. В своих трудах ...
Добавлено: 24 августа 2026 г.
On calibration of remote sensing retrievals of ecosystem respiration (Reco) with tower measurements over,Russian forests and wetlands
Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
Добавлено: 21 августа 2026 г.
From data to knowledge: artificial intelligence methods for studying comorbidity in electronic health records
Лукьяненко Д. В., Рагимова А. А., Мухорина А. и др., European Physical Journal: Special Topics 2026 P. 1–24
Добавлено: 20 августа 2026 г.
Monomial algebras and G_a^n-equivariant embeddings into toric varieties
Чернов А. Е., European Journal of Mathematics 2026 Vol. 12 Article 48
Добавлено: 19 августа 2026 г.
Mishima's Flame: Samurai Ethics in Art and Action
Моисеев Д. С., Multipolar Press, 2026.
Bushidō, the ethical tradition of the samurai, long ago transcended Japan’s feudal past to become a powerful element of cultural identity and an enduring presence in the global imagination. For Yukio Mishima (1925–1970), one of Japan’s most celebrated and controversial novelists and playwrights, a Nobel Prize nominee, actor, and public intellectual, bushidō was a living ...
Добавлено: 19 августа 2026 г.
Dynamics of Systems, Mechanisms and Machines (Dynamics). International scientific and technical conference
IEEE Advancing Technology for Humanity, 2025.
Добавлено: 19 августа 2026 г.
Hypergraphs from multivariate connectivity: caCOH-based EEG/MEG representation
Власенко Д. В., Саранская И. М., Захаров Д. Г., European Physical Journal: Special Topics 2026 P. 1–16
Гиперграфы предоставляют естественную систему для представления нейрофизиологических взаимодействий, распределённых по наборам датчиков. Ключевой методический вопрос заключается в том, каким образом следует определять гиперрёбра на основе частотно-разрешающих данных электроэнцефалографии и магнитоэнцефалографии (ЭЭГ/МЭГ). Мы предлагаем стратегию построения гиперграфа, в которой гиперрёбра получаются из канонической когерентности (caCOH) — расширения когерентности, которое оценивает степень связи между многомерными пространствами сигналов. Насколько ...
Добавлено: 18 августа 2026 г.
Global shifted potentials for moduli stacks of sheaves on Calabi-Yau four-folds
Borisov D., Katzarkov Ludmil, Sheshmani A. и др., American Journal of Mathematics 2026 Vol. 148 No. 4 P. 1075–1101
Добавлено: 18 августа 2026 г.
Прекрасное и утилитарное на Востоке. Между этикой и эстетикой. Книга 2
Зинченко С. А., Бейн П. В., Дубровская Д. В. и др., Институт востоковедения РАН, 2026.
Вопреки уверению Антуана де  Сент-Экзюпери, заявившего, что «самое прекрасное в звездах, домах и пустынях — то, чего не увидишь глазами», авторы предлагаемой монографии бесстрастно поверяют алгеброй научного анализа гармонию прекрасного на Востоке, продолжая наработки первой книги «Прекрасное и утилитарное: от докерамического неолита до искусства ислама». Монография состоит из исследований, посвященных полезности красоты, выраженной через все ...
Добавлено: 14 августа 2026 г.
Вырождение графа, описывающего комплексную структуру
Богатырев А. Б., Математический сборник 2023 Т. 214 № 3 С. 106–119
Рассматривается клеточное разбиение пространства модулей вещественных кривых рода 2 с отмеченной точкой на единственном вещественном овале. Клетки перечисляются определенными графами, веса которых описывают комплексную структуру на кривой. Показано, что стягивание ребра графа приводит к корневой особенности естественного отображения из весов графа в пространство модулей кривых. ...
Добавлено: 14 августа 2026 г.
Число компонент уравнений Пелля–Абеля с примитивным решением заданной степени
Богатырев А. Б., Gendron Q., Успехи математических наук 2023 Т. 78 № 1 С. 209–210
Уравнение Пелля-Абеля — это функциональное уравнение вида P²-DQ² = 1, с заданным многочленом D, свободным от квадратов, и неизвестными многочленами P и Q. Мы показываем, что пространство уравнений Пелля-Абеля с фиксированными степенями D и примитивным решением P является комплексным многообразием. Мы описываем его связные компоненты с помощью эффективно вычислимого инварианта. ...
Добавлено: 14 августа 2026 г.
Stiefel filters
Богатырев А. Б., Transactions of the Moscow Mathematical Society 2024 Vol. 85 No. 2 P. 323–337
Добавлено: 14 августа 2026 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору