?
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.
Language:
English
Buryak A., 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 ...
Added: June 19, 2026
Buryak A., 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 ...
Added: June 19, 2026
Humphrey N., Философский журнал 2026 Т. 19 № 2 С. 99–106
Sensations represent our subjective ‘take’ on sensory stimulation – how we feel about redlight falling on the retina, salt dissolving on the tongue, a thorn piercing the skin. Theytell – in the language of phenomenal properties – what the experience is like for us. In sofar as they represent the reality of this subjective relationship, ...
Added: June 19, 2026
Gorbachev M., Философский журнал 2026 Т. 19 № 2 С. 107–117
This is a commentary to the translation of Nicholas Humphrey’s article “Redder thanRed. Illusionism or Phenomenal Surrealism?”, where he proposes what might seem to bean alternative to the illusionist theory of consciousness – phenomenal surrealism. Hismain idea is that our subjective experience is more real than objective reality, sincethelatter lacks, for example, the funny, the ...
Added: June 19, 2026
Pereyaslov A., Коммуникации. Медиа. Дизайн 2024 Т. 9 № 2 С. 109–131
Автор статьи предлагает расширить понимание креативности в поле исторического материализма. Приводятся примеры отражения внеэконмических проявлений креативности в различных гуманитарных науках. Особый акцент делается на теории социального действия и социологической теории креативности Х. Йоаса. ...
Added: June 19, 2026
Pruzhinin B. I., Afanasov N., Буданов В. Г. et al., Вопросы философии 2026 № 5 С. 5–35
In December 2025, the Institute of Philosophy of the Russian Academy of Sciences hosted an international roundtable on the topic “Social Programming as a Methodological Tool of Network Self-Organization: Problems and Trends”.
The roundtable was organized by the journal “Voprosy Filosofii” and representatives of the research project No. 25-28-00707, “Social Programming as a Problem of Network ...
Added: June 18, 2026
Cham: Springer Publishing Company, 2026.
The four-volume set LNCS 16483-16486 constitutes the refereed conference proceedings of the 48th European Conference on Information Retrieval, ECIR 2026, held in Delft, The Netherlands, during March 29–April 2, 2026.
The 46 full papers and 37 short papers presented together with 10 findings papers, 9 reproducibility papers, 17 resource papers, 11 workshop papers, 7 tutorial papers, ...
Added: June 18, 2026
Poddiakov A., Троицкий вариант. Наука 2026 № 12 С. 24–25
В научно-популярной заметке представлен обзор содержания поста филдсовского медалиста Тимоти Гауэрса о возможностях ИИ в математике и содержания комментариев под постом. Обзор сделан в основном чат-ботом DeepSeek. В заключение обсуждается возможность не только решения задач искусственным интеллектом, но и их постановки. ...
Added: June 18, 2026
Besschetnova E., Zhukova M., Patria 2026 Т. 3 № 2 С. 141–147
This publication introduces into academic circulation a review by the thinker and
later priest Sergei Mikhailovich Solovyov (1885–1942) of Lev Platonovich Karsavin’s book
‘‘East, West and the Russian Idea’’, published in Petrograd in 1922. The text, preserved in the
Manuscript Department of the Russian State Library, is not merely a contemporary’s opinion but
a dramatic document of its era, ...
Added: June 18, 2026
Dvoinin A., Natural Systems of Mind 2025 Vol. 5 No. 4 P. 4–21
Background and Problem. The psychology of religion has traversed a long and non-linear historical path, experiencing an initial flourishing (1880–1920), a subsequent decline, and a significant resurgence since the 1990s. Despite this renewed growth, driven by advances in genetics, neuroscience, and cognitive science, a comprehensive overview of the development of natural science perspectives within the field—from their origins ...
Added: June 17, 2026
Garzón J., Mora Rodríguez J., Moreno-Franco H. A., Applied Mathematics and Optimization 2026 Vol. 94 No. 10 P. 1–43
We study an optimal extraction problem where the agent’s actions in the spot market exert an additive proportional negative impact on the commodity price. The commodity price dynamics, prior to any activity by the agent, evolve according to a drifted Brownian motion with jumps. The agent’s primary aim is to identify an optimal extraction strategy ...
Added: June 17, 2026
Moshnyaga E., Иностранные языки в школе 2025 № 9 С. 16–24
This article analyzes the new context of interaction in educational spaces created by the changed conditions in the realization of international educational programs, specifically the emergence of the dissimilar Other student. Multicultural classes bring together representatives of a wide variety of cultures, often unfamiliar to the host culture and/or hostile to one another, leading to ...
Added: June 16, 2026
Moshnyaga E., Хуссейн И., Человек: образ и сущность. Гуманитарные аспекты 2025 № 4(64) С. 125–147
The article examines a series of cross-cultural cases that reveal the problems of intercultural interaction of dissimilar Others in the educational space of a university implementing international programs and conceptualized as a glocal eduscape. Based on the analysis of problem situations in the cases, solutions are proposed based on the understanding that successful interaction of ...
Added: June 16, 2026
фон Хоффмайстер К., СПб.: Владимир Даль, 2026.
В предлагаемой вниманию читателя книге Константин фон Хоффмайстер провозглашает завершение эпохи однополярного господства США и наступление новой эры, в которой самобытные цивилизации будут отстаивать свой суверенитет в битве против слабеющего универсализма либерального Запада. Автор излагает философские и геополитические основы нового многополярного мира, в котором мировая история творится в динамичном взаимодействии крупных держав, каждая из которых руководствуется собственными уникальными традициями.
Фон Хоффмайстер ...
Added: June 16, 2026
Nesterov A. S., Журнал Новой экономической ассоциации 2026
В этой статье рассматривается целевой приём в вузы в России с точки зрения науки об устройстве рынков сочетания и экономических механизмов (matching market and mechanism design), ключевого направления современной теории игр. Мы изучаем механизм целевого приёма -- набор правил, по которым устраивается трёхстороннее сочетание между абитуриентом, заказчиком и образовательной программой. Используемый в России механизм имеет ...
Added: June 16, 2026
Konakov V., Kucher D., Mammen E., / Series arXiv "math". 2026. No. 2606.11142v1.
In this paper, we construct strong approximations for discrete-time Markov chains weakly converging to continuous diffusion processes, as well as for their perturbed counterparts. Under the assumption of bounded coefficients, we construct closely coupled versions of these processes on a shared probability space. In particular, for both non-degenerate and degenerate cases, we maximize the probability ...
Added: June 11, 2026
Kurennoy V., Логос 2026 Т. 36 № 1 С. 1–38
This article provides a brief overview of the contemporary use of digital cameras and the fundamental societal changes they have brought about. Digital video surveillance is becoming an integral part of urban infrastructure, transforming notions of public space, privacy, and control. It examines the key risks associated with the proliferation of digital video surveillance, including ...
Added: June 11, 2026
Shipilov F., Barnyakov A., Ivanov A. et al., / Series Physics "arxiv.org". 2026.
A fast simulation of the detector response is a vital task in high-energy physics (HEP). Traditional Monte-Carlo methods form the backbone of modern particle physics simulation software but are computationally expensive. We present a machine-learning-based approach to fast simulation of the Focusing Aerogel Ring Imaging Cherenkov (FARICH) detector response. Given a particle track and momentum, ...
Added: May 19, 2026
Dorovskiy A., / Series arXiv "math". 2026.
In this paper the structural stability of generic families of vector fields of the PC-HC class on the two-dimensional sphere is proved. A classification of these families up to moderate equivalence in neighborhoods of their large bifurcation supports is presented, based on such invariants as the configuration and the characteristic set. The realization lemma is proved. ...
Added: May 14, 2026
Taletskii D., / Series arXiv "math". 2026.
A vertex subset of a graph is called a \textit{distance-$k$ independent set} if the distance between any two of its distinct vertices is at least $k + 1$. For all $n,k \geq 1$, we determine the minimum possible number of inclusion-wise maximal distance-$k$ independent sets among all $n$-vertex trees. It equals~$n$ if $n \leq k ...
Added: May 1, 2026
Ovcharenko M., / Series arXiv "math". 2026.
We introduce an explicit class of tempered Laurent polynomials in the sense of Villegas and Doran--Kerr in n⩽4 variables including all Landau--Ginzburg models for smooth Fano threefolds with very ample anticanonical class. We check that it contains Landau--Ginzburg models for various Fano fourfolds which are complete intersections in smooth toric varieties and Grassmannians of planes, ...
Added: April 30, 2026
Derkacheva A., Sakirkina M., Kraev G. et al., /. 2026.
Comprehensive data on natural hazards and their consequences are crucial for effective for risk assessment, adaptation planning, and emergency response. However, many countries face challenges with fragmented, inconsistent, and inaccessible data, particularly regarding local-scale events. To address this data gap in Russia, we developed an end-to-end processing pipeline that scrapes news from various online sources, ...
Added: April 28, 2026
Pilé I., Deng Y., Shchur L., / Series arXiv "math". 2026. No. 2604.10254.
We investigate the spatial overlap of successive spin configurations in Markov chain Monte Carlo simulations using the local Metropolis algorithm and the Svendsen-Wang and Wolff cluster algorithms. We examine the dynamics of these algorithms for two models in different universality classes: the Ising model and the Potts model with three components. The overlap of two ...
Added: April 20, 2026
Zlotnik Alexander, / Series arXiv "math". 2026. No. 2602.03481v1.
We deal with the global in time weak solutions to the 1D compressible Navier-Stokes system of equations for large discontinuous initial data and nonhomogeneous boundary conditions of three standard types. We prove the Lipschitz-type continuous dependence of the solution $(\eta,u,\theta)$, in a norm slightly stronger than $L^{2,\infty}(Q)\times L^2(Q)\times L^2(Q)$, on the initial data $(\eta^0,u^0,e^0)$ in a ...
Added: April 18, 2026