• 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
  • еще
Тематика
Новости
21 октября 2026 г.
Ученые НИУ ВШЭ систематизировали методы защиты изображений
Исследователи МИЭМ ВШЭ проанализировали схемы полухрупких цифровых водяных знаков для изображений, опубликованные за последние десять лет. Такие водяные знаки сохраняются при обычном сжатии или изменении яркости, но выдают подделку, если в снимок добавили объект или заменили лицо. Авторы предложили классификацию этих схем и выделили главные нерешенные проблемы. Результаты опубликованы в журнале Computer Science Review.
20 октября 2026 г.
«Наши работы можно назвать исследованиями на переднем крае науки»
Международная лаборатория кластерной геометрии, действующая на факультете математики НИУ ВШЭ, занимается формированием новой научной дисциплины, соединяющей в себе знания из различных областей математики. Выполненные в ней работы вызывают большой интерес, в том числе у зарубежных коллег. Лаборатория изучает семейства кривых и разрабатывает методы, применяемые в исследованиях физического микромира. Новостная служба «Вышка.Главное» побеседовала с заведующим лабораторией профессором Сергеем Ландо.
20 октября 2026 г.
За гранью возможного: в Вышке прошел финал IX сезона «Научных боев»
В конце сентября в Центре культур НИУ ВШЭ прошел финал IX сезона «Научных боев» с заглавной темой «За гранью возможного». Исследователи представили четыре работы. На каждое выступление отводилось по десять минут, после чего участники отвечали на вопросы жюри и зрителей. Спикеры искали границы между человеком и искусственным интеллектом, цифровой платформой и ее пользователями, государством и социальной инфраструктурой, а также между тем, как общество определяет человека, и тем, как он определяет себя сам.

 

Нашли опечатку?
Выделите её, нажмите 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Многозначные логики
Похожие публикации
Макс Шелер: 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 г.
A Three-Party W-State Quantum Secret Sharing Protocol with X-Gate Encoding and Forbidden-Outcome Detection
Терегулов Т. Р., Лубенец Е. Р., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.
Добавлено: 28 сентября 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
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору