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

L. Beklemishev; Flaminio T.

doi:10.1007/s11225-016-9654-3

Публикации

?

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 Многозначные логики

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 г.

On the Ramsey Number R(K_{1,s},P_t)

Kh. Kh. Abdullin, D. B. Mokeev, D. S. Taletskii, Mathematical notes 2026 Vol. 119 No. 1 P. 3–7

Добавлено: 10 июня 2026 г.

Стратегии осмысления скептицизма в современной аналитической эпистемологии

Лаврищев Д. Е., Эпистемология и философия науки 2026 Т. 63 № 1 С. 193–212

Статья представляет собой обзор наиболее значимых опорных точек в дискуссии вокруг скептицизма в современной англоязычной аналитической эпистемологии. В тексте рассматриваются основные для этого дискурса стратегии понимания и преодоления скептицизма. В первом разделе статьи рассматривается «классическое» определение скептицизма, основанное на так называемых «радикальных скептических аргументах», к которым относятся «мозг в чане», «злокозненный демон» и т.п. Также ...

Добавлено: 8 июня 2026 г.

Innovations in Information and Decision Sciences. Proceedings of the 13th International Conference on Frontiers in Intelligent Computing: Theory and Applications (FICTA 2025), Volume 4

Springer, 2026.

Добавлено: 8 июня 2026 г.

Дискуссии об универсалиях в «Таттвопаплавасимхе» Джаяраши Бхатты

Канаева Н. А., Вопросы философии 2026 № 6 С. 170–178

В статье на примере анализа фрагмента первой главы из трактата индийско го философа VIII–IX вв. Джаяраши Бхатты «Таттвопаплавасимха» (санскр. «Лев, опрокидывающий препятствия [к правильному пониманию] катего рий») демонстрируется форма постановки и обсуждения проблемы универ салий в Индии в эпоху Джаяраши. Конспективный стиль первоисточника автор статьи компенсировала реконструкцией концептуального контекста полемики об универсалиях, в качестве которого ...

Добавлено: 6 июня 2026 г.

Wave dynamics within the Whitham-Ostrovsky equation

Flamarion M. V., Пелиновский Е. Н., Nonlinear Dynamics 2026 Vol. 114 Article 784

Добавлено: 5 июня 2026 г.

On structural stability of 3-diffeomorphisms with the Smale solenoid attractor–repeller dynamics

Медведев Т. В., Починка О. В., Chaos 2026 Vol. 36 No. 6 Article 063107

Добавлено: 4 июня 2026 г.

A model exhibiting all possible types of hyperbolic chaos on the 2-torus

Казаков А. О., Минц Д. И., Петрова Ю. Э. и др., Chaos 2026 Vol. 36 No. 6 Article 063112

Добавлено: 4 июня 2026 г.

ML-based Fast Simulation of FARICH Responses

Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.

Добавлено: 19 мая 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 г.

Natural hazard database from Internet publications: text mining with a large language model

Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.

Добавлено: 28 апреля 2026 г.

Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena

Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.

Добавлено: 20 апреля 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 г.

Global neighbourhood completeness of the provability logic GLP

Шамканов Д. С., , in: Advances in Modal LogicVol. 13.: College Publications, 2020. P. 581–596.

Добавлено: 6 октября 2020 г.

Non-well-founded derivations in the Gödel-Löb provability logic

Шамканов Д. С., Review of Symbolic Logic 2020 Vol. 13 No. 4 P. 776–796

Добавлено: 20 декабря 2019 г.

Game-theoretical interpretation of abelian logic A

Павлова А. М., Logical Investigations 2019 Vol. 25 No. 2 P. 75–93

Добавлено: 20 сентября 2019 г.

Циклические выводы в логике доказуемости Гёделя-Лёба

Шамканов Д. С., В кн.: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.: М.: Современные тетради, 2017. С. 56–58.

Рассматривается исчисление гильбертовского типа для логики доказуемости Гёделя-Лёба GL, выводимость в котором основана на понятии циклического вывода. В отличие от обычных выводов, циклический вывод можно представлять себе не как дерево, но как граф, содержащий циклы. ...

Добавлено: 16 сентября 2019 г.

A many-sorted variant of Japaridze's polymodal provability logic

Berger G., Беклемишев Л. Д., Tompits H., Logic Journal of the IGPL 2018 Vol. 26 No. 5 P. 505–538

We consider a many-sorted variant of Japaridze’s polymodal provability logic (⁠GLP⁠). In this variant, which is denoted GLP∗⁠, propositional variables are assigned sorts n≤ω⁠, where variables of finite sort n<ω are interpreted as Π_{n+1}-sentences of the arithmetical hierarchy, while those of sort ω range over arbitrary ones. We prove that GLP∗is arithmetically complete with respect to this interpretation. Moreover, we ...

Добавлено: 14 февраля 2019 г.