?
On structural proof theory of the modal logic K+ extended with infinitary derivations
We consider an extension of the modal logic of transitive closure K+ with some inifinitary derivations and present a sequent calculus for this extension, which allows non-well-founded proofs. For the given calculus, we obtain the cut-elimination theorem following the lines of so called continuous cut elimination. Our consideration also covers ordinary proofs of K+ since they correspond to cyclic cut-free proofs of the presented sequent calculus.
Priority areas:
mathematics
Language:
English
Gusein-Zade S., Campillo A., Delgado F., Mathematische Zeitschrift 2026 Vol. 314 No. 1 P. 1–22
For a subfield $\K$ of the field $\C$ of complex numbers, we consider curve and divisorial valuations on the algebra $\K[[x,y]]$ of formal power series in two variables with the coefficients in $\K$. We compute the semigroup Poincar\'e series and the classical Poincar\'e series of a (discrete, rank one) valuation on it. ...
Added: October 13, 2026
Zhukova O., Вопросы философии (Российская Федерация) 2026 № 10 С. 214–222
The article is devoted to current discussions in the field of Russian religious philosophy research and teaching practices in Russian state and confessional universities. It summarizes the discussion of theoretical and practical aspects of studying Russia’s philosophical heritage and its tradition of religious thought, which were discussed at the Round table “Russian Religious Thought in ...
Added: October 13, 2026
Knyazeva H., Вопросы философии 2026 № 10 С. 82–93
This article provides a philosophical analysis of Richard Buckminster Fuller’s synergetics as the foundation of systemic and creative design in the context of digitalization and the increasing complexity of modern forms of interaction.
The study centers on the idea of form as an active principle for organizing action, thought, and distributed agency. It is demonstrated that ...
Added: October 12, 2026
ИДВ РАН, 2026.
This paper addresses the issue perceiving the national Vietnamese costume as a tool of cultural representation in the context of official state events held in Vietnam and abroad. The study focuses on specific cases of protocol visits, meetings, forums, and beauty contests, where the ao dai and other types and elements of national clothing are ...
Added: October 12, 2026
Mishuris G., Meylan M. H., Pelinovsky E., Journal of Fluid Mechanics 2026 Vol. 1045 Article A4
In this paper, we revisit the classic problem of a wave field on a sloping beach of an arbitrary angle and propose a general approach that allows the computation of regular solutions of the problem regardless of the angle. We use the Mellin-transform technique, reducing the problem to singular integral equations with fixed-point singularities of ...
Added: October 12, 2026
Gusein-Zade S., М.: МЦНМО, 2026.
Книга содержит курс лекций по дифференциальной геометрии и топологии, читавшихся автором на механико-математическом факультете МГУ в разные годы. В дополнениях приводятся некоторые сюжеты (связности в расслоениях, теорема Фробениуса, производные Ли и др.), которые были включены в курс в отдельные годы либо содержались в аналогичных курсах лекций в Независимом московском университете.
Для студентов математических и физических специальностей. ...
Added: October 12, 2026
Kharitonov T. I., Человек 2026 Т. 37 № 5 С. 7–24
The article offers a philosophical reconstruction of the forms of explaining evil in Dostoevsky’s works within the context of post-secular theory and the theory of the compensation of modernity developed by O. Marquard and H. Lübbe. The problematization of evil in the writer’s oeuvre is examined from a diachronic perspective as a transition from the aestheticism of ...
Added: October 11, 2026
Tulchinskii G. L., Философские науки 2026 Т. 68 № 6 С. 32–58
In the work, technology is considered as a special form of being, going beyond the utilitarian and instrumental understanding and forming a new ontological space. This space is described as a technocosmos or metacosmos: an autonomous and self-generating reality in which technologies do not simply serve human needs, but begin to constitute their own logic ...
Added: October 11, 2026
PRAV Publishing, 2026.
An eventful century has passed since the writings, activities, and networks of René Guénon (1886-1951), Ananda Coomaraswamy (1877-1947), Julius Evola (1898-1974), and Frithjof Schuon (1907-1998) initiated what has come to be known as Traditionalism. Within recent decades, unprecedented attention has been drawn to Traditionalism and Traditionalists, both historical and contemporary, in nearly all possibly categorizable ...
Added: October 11, 2026
Filatova Asya, Epistemology and Philosophy of Science 2026 Vol. 63 No. 3 P. 56–66
This article proposes a rethinking of the role of artificial intelli-gence in contemporary science through an analysis of HarryCollins’s concept of expertise. The point of departure is the ob-served tension between normative accounts of expertise –grounded in ideas of socialisation, tacit knowledge and member-ship in a form of life – and the empirical practices in ...
Added: October 10, 2026
Брычков М. Е., Незнанов А.А., Программирование 2026 № 4 С. 50–66
The matrix profile (MP) quickly became one of the most important time series preprocessing methods when it was introduced in 2016, facilitating the solution of a wide range of time series analysis problems, in particular anomaly and pattern detection problems. The high significance has led to the emergence of various tools for MP calculating, but ...
Added: October 9, 2026
М.: Юрайт, 2026.
The Collection of Olympiad Problems (COP) in Probability Theory and Mathematical Statistics (PTMS) is offered as a teaching aid primarily for university students and faculty as a developmental supplementary resource, expanding the range of problems to be solved in lectures, seminars, and out-of-class independent work with students in various formats, including (as the title suggests) ...
Added: October 9, 2026
Seleznev M., Луппова А. А., Вестник Свято-Филаретовского института 2026 Т. 18 № 1(57) С. 10–35
The story of the Tower of Babel (Gen 11:1-9) is one of the key episodes in the narratives of the Book of Genesis. In modern scholarship, various—often sharply divergent—datings of this pericope are proposed, as well as different interpretations of its place in the picture of the formation of the biblical text that was put ...
Added: October 9, 2026
Seleznev M., Луппова А. А., Вестник Свято-Филаретовского института 2026 Т. 18 № 2 (58) С. 322–349
Like other narratives in the Book of Genesis, the story of Cain and Abel (Gen 4:1–16) has been studied and commented upon for more than two millennia. However, recent scholarship has introduced significant revisions to traditional interpretations. Over the past five years, several monumental commentaries on Genesis 1–11 have been published, offering new—and sometimes mutually ...
Added: October 9, 2026
Aleskerov F. T., Вайншток А. П., Делахова А. М. et al., Информационные процессы 2026 Т. 26 № 3 С. 895–913
The development and effective management of territorial entities are priority issues for all states, particularly in the context of the digital transformation of public administration. Over the past decade, the integration of information technologies into municipal and regional planning has significantly altered approaches to strategic development, service delivery, and public engagement. This paper describes the ...
Added: October 9, 2026
Kupavskii A., Noskov F., Forum of Mathematics, Sigma 2026 Vol. 14 Article 124
We call a family of $s$ sets $\{F_1, \ldots, F_s\}$ a sunflower with $s$ petals if, for any distinct $i, j \in [s]$, one has $F_i \cap F_j = \cap_{u = 1}^s F_u$. The set $C = \cap_{u = 1}^s F_u$ is called the {\it core} of the sunflower. It is a classical result of ...
Added: October 8, 2026
Flamarion M. V., Pelinovsky E., Chaos, Solitons and Fractals 2026 Vol. 213 No. 2 Article 119245
This article concerns the study of modulational instability in the rotated-modified Gardner–Whitham (rmGW) equation. This model incorporates both quadratic and cubic nonlinearities, similarly to the Gardner equation, while also retaining the fully dispersive character of the Whitham equation together with a large-scale dispersive term analogous to that in the Ostrovsky equation. Using a classical multiple-scale asymptotic expansion, we ...
Added: October 8, 2026
Rezvykh P. V., Вестник Российского университета дружбы народов. Серия: Философия 2019 Т. 23 № 1 С. 7–18
The article gives the detailed analysis of the ratio of freedom and imagination in an unpublished manuscript written by F.W.J. Schelling, which contains the materials for the lecture course read at Erlangen University in 1820-1821. The author focuses on the question of imagination as a condition for the possibility to unfold the modal differences that provide the ...
Added: October 7, 2026
Rezvykh P. V., Вестник Российского университета дружбы народов. Серия: Философия 2026 Т. 30 № 1 С. 127–143
The issue delivers an analysis of schellingian motives in the later works by A.F. Losev. The author brings information about Losev’s retrospective evaluation of Schelling’s influence on the formation of his own philosophical approach, it’s specific character and it’s grade. The author shows that all the main investigation projects of the later Losev which have ...
Added: October 7, 2026
Люксембург А. А., УРСС, 2005.
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка, объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической ...
Added: October 7, 2026
Levashev V., / Series arXiv "math". 2026. No. 2609.06010.
We prove that continuous A-bilinear pairings on the ring of Laurent series that are invariant under continuous automorphisms coincide, up to a constant, with the pairing given by the residue of a differential form over any commutative associative ring with identity. ...
Added: September 24, 2026
Pyatov P. N., Pivovarov P. A., / Series math "arxiv.org". 2026. No. 2609.06274.
We investigate a special ansats that allows for an iterative solution of the constant Yang-Baxter equation. Testing this ansatz, we construct four sequences of the constant R-matrices. In each sequence the R-matrices act on the tensor squares of vector spaces of linearly growing dimensions. Each R-matrix also depends on a single complex parameter.
By analyzing the ...
Added: September 24, 2026
Medvedev V., / 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 ...
Added: September 19, 2026
Poddiakov A., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.
Clarity of knowledge and reasoning is necessary in many cases. Yet vagueness in scientific thinking related to surprise, curiosity, "ability to engage with not-knowing" (de Freitas) and abductive reasoning is also a crucially important source of scientific creativity which supplements combinatorial logic when dealing with the already known. Starting from studies by C. S. Peirce ...
Added: September 15, 2026