?
Dialogue Games for Minimal Logic
Logic and Logical Philosophy. 2020. P. 1–29.
Pavlova A.
In press
In this paper, we define a class of dialogue games for Johansson’s minimal logic and prove that it corresponds to the minimal logic validity. Many authors have stated similar results for intuitionistic and classical logic either with or without actually proving the correspondence. Rahman, Clerbout and Keiff have already specified dialogues for minimal logic, however, they transformed it into Fitch-style natural deduction only. We propose a different specification for minimal logic with the proof of correspondence between the existence of winning strategies for the Proponent in this class of games and sequent calculus for minimal logic.
Language:
English
Chepovskiy A., Мастерская Печати Идей, 2026.
The textbook presents methods and algoгithms for automatic analysis
of соrроrа of texts in natural languages. It is intended fоr sfudenБ of
methods of processing texts in паtчrаl languages and creating training
arays of texts.
Fоr students, graduate students and researchers studying methods
of computational linguistics and word processing. ...
Added: August 1, 2026
Митлянская М. Б., Высшее образование в России 2023 Т. 32 № 7 С. 157–166
The article is based on the historical and philosophical analysis of fragments of Martin Heidegger’s concept called “Seinsgeschichte”, in which the philosopher considered the phenomenon of the university and the current situation of sciences. Their condition, accord ing to the philosopher, is a direct consequence of the comprehensive extinction of the tradi tion of European ...
Added: July 31, 2026
Митлянская М. Б., Философские науки 2020 Т. 63 № 4 С. 132–151
Philosophers actively discuss Black Notebooks – Martin Heidegger's philosophical notebooks. Their publication opened for researchers a new field in the concept of existential history. The Notebooks are a good example of how closely related philosophical thought and the political atmosphere of time can be. Heidegger witnessed events that caused him to be confused. He had ...
Added: July 31, 2026
Митлянская М. Б., Финиковый компот 2020 № 15 С. 263–266
Review of the anthology "Pro et contra" which has collected the works of several generations of Russian philosophers about Martin Heidegger. More than seventy articles, reviews and excerpts from books of the most significant researchers in this field, according to the editors of the almanac. Author of the review provides general information about the content ...
Added: July 31, 2026
Митлянская М. Б., Идеи и идеалы 2020 Т. 12 № 3 (45) С. 121–133
The idea of reorganizing a German university was revealed in the correspondence of the young Martin Heidegger and his friend Karl Jaspers. Prominent thinkers critically analyze the contribution of contemporaries and representatives of the previous generation of scientists and philosophers. Ambitious and confident in their abilities, they hatched a plan, as it seemed to them, ...
Added: July 30, 2026
Митлянская М. Б., Вестник Пермского университета. Философия. Психология. Социология 2020 № 3 С. 384–394
The paper explores Martin Heidegger’s concept of the «history of being». This concept was created in the philosopher’s late period. Critically analyzing the own paths of existential philosophy revealed in Being and Time, Heidegger gradually forms a spectrum of being-historical notions that will occupy a central po sition in contemplation after «the turn». The methods ...
Added: July 30, 2026
Митлянская М. Б., Известия Саратовского университета. Новая серия. Серия: Философия. Психология. Педагогика 2020 Т. 20 № 2 С. 149–153
This article is devoted to the task of identifying the constitutive attribute of the mythical. The study does not concern the phenomenon of the genesis of myth, considering only those features which allow the myth to survive significant changes, deconstruction and evasion, without losing the basis of its essence, where evasion (der Entzug) is one ...
Added: July 30, 2026
Митлянская М. Б., Финиковый компот 2019 № 14 С. 116–124
The text is devoted to the problem of truth in the late philosophy of Martin Heidegger. The in inquiry based on Heidegger's Plato's Doctrine of Truth. In this paper of his the German philosopher reflected on the "Allegory of the Cave" and through it expressed his understanding of the development concepts of truth and its ...
Added: July 30, 2026
Митлянская М. Б., Финиковый компот 2018 Т. 13 № 13 С. 114–116
Review of “Heidegger, Black Notebooks and Russia”. The text provides a critical review of the articles in the collection and criticizes politically biased interpretations of Heidegger’s philosophy. ...
Added: July 30, 2026
Митлянская М. Б., Электронное научное издание Альманах Пространство и Время 2017 Т. 15 № 1 С. 37–42
Philosophical community took the recent publication of Martin Heidegger's philosophical diaries ("Black Notebooks") as a chal lenge and reacted to this event with stormy discussions and new accusations against philosopher of involvement in German Na tional Socialism and its crimes. From my point of view, it would be more competent to analyze the text and, ...
Added: July 30, 2026
Ponomarenko A., / Series Computer Science "arxiv.org". 2025.
This paper addresses the challenge of merging hierarchical navigable small world (HNSW) graphs, a critical operation for distributed systems, incremental indexing, and database compaction. We propose three algorithms for this task: Naive Graph Merge (NGM), Intra Graph Traversal Merge (IGTM), and Cross Graph Traversal Merge (CGTM). These algorithms differ in their approach to vertex selection ...
Added: July 30, 2026
Уилкокс П., Romanov A., М.: ДМК Пресс, 2025.
Книга, которую вы держите в руках, продолжает серию «Книжная полка истового
инженера», которая издается при поддержке компании YADRO.
Данная книга представляет собой учебник по теоретическим основам продвинутой
функциональной верификации и содержит лучшие практики, используемые в настоящее
время. В ней подробно описана унифицированная методология верификации
(UVM) и раскрыты такие темы, как функциональный виртуальный прототип, функциональное
покрытие, утверждения, формальная верификация, тестбенчи, косимуляция,
эмуляция, аппаратное ...
Added: July 30, 2026
Mikhaylets E. V., Razorenova A. М., Chernyshev V. L. et al., Scientific Reports 2026 Vol. 16 Article 23560
Meditation offers a naturalistic paradigm for studying introspection, yet the neural dynamics of advanced tantric practices remain largely unexplored. Buddhist Highest Yoga Tantra (BHYT) comprises a sequence of eight dissolution stages culminating in the “clear light” state. We recorded EEG during eyes-closed BHYT meditation performed in monasteries and hermitages (51 sessions from 36 male practitioners; ...
Added: July 29, 2026
Думкин Н. А., Alexandrov D., Прозорский М. А., Труды Института системного программирования РАН 2026 Т. 38 № 1 С. 255–274
A theoretically sound approach to adaptive client-side video fragment restoration is proposed using
machine learning and scene analysis methods. The method includes a formal problem statement, a finite-state
machine model for decision making, a restoration cost function, and a new stage in video preparation: scene
dynamics assessment followed by recording a feature in an HLS playlist. This feature ...
Added: July 27, 2026
Cham: Springer, 2026.
This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026.
The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 submissions. The papers cover the following topical sections:
Part I: Theorem ...
Added: July 26, 2026
Knorre B. K., Вестник Православного Свято-Тихоновского гуманитарного университета. Серия 1: Богословие. Философия. Религиоведение 2026 № 125 С. 53–69
Orthodoxy, while others, on the contrary, notice a critical attitude towards it, emphasizing that he spent almost all his life in religious search. In our opinion, the answer to the question of assessing Prishvin’s religiosity lies in such a phenomenon as religious naturalism, which is expressed in Prishvin’s religious experience of nature, admitting making natural ...
Added: July 25, 2026
Aliev R. T., Galactica Media: Journal of Media Studies 2025 Vol. 7 No. 2 P. 166– 186
This article develops the concept of the metasimulacrum of otherness to analyze the structural transformations of difference in digital culture. Unlike traditional representations of otherness, the metasimulacrum reorganizes the very conditions of perception, producing otherness as a managed, aestheticized, and commodified flow. Digital platforms no longer marginalize or suppress difference; they integrate it into the ...
Added: July 24, 2026
Scientific publishing house Infinity, 2026.
These Conference Proceedings combine materials of the conference –
research papers and thesis reports of scientifi c workers. They examine technical,
juridical and sociological aspects of research issues. Some articles deal
with theoretical and methodological approaches and principles of research
questions of personality professionalization. ...
Added: July 24, 2026
Edward R. Rzaev, Aleksandr Y. Romanov, Andrey M. Sukhov, IEEE Access 2026 Vol. 14 P. 2169–3536
This work presents a hierarchy of strictly local fault-tolerant routing algorithms for 3D mesh networks-on-chip, culminating in an algorithm that combines a live-neighbor selection rule with a bounded single-hop rollback mechanism. The proposed algorithms operate exclusively on immediate neighbor information, maintain O(1) per hop complexity, and require no global topology knowledge, additional virtual channels, or ...
Added: July 23, 2026
Piontkovski D., / Series arXiv "math". 2026.
A noncommutative projective variety is defined, following Artin and Zhang, by a graded coherent algebra 𝐴. The category of coherent sheaves is then the quotient qgr(𝐴) of the category of finitely presented graded modules by the subcategory of torsion modules. We consider the categorical and polynomial entropies of the Serre twist, that is, of the ...
Added: June 23, 2026
Piontkovski D., / Series arXiv "math". 2025.
If a symmetric multilinear algebra is weakly nil, then it is Engel. This result may be regarded as an infinite-dimensional analogue of the well-known Jacobian theorem, which states that if a polynomial mapping has a polynomial inverse, then its Jacobian matrix is invertible. This refines a theorem of Gerstenhaber and partially answers a question posed ...
Added: June 23, 2026
Kudriavtseva E., / РЦИС. Серия № 0148-756-286. 2026.
The content of the work is the system is a system for identifying four types of written speech structures. A set of 11 calculated parameters, statistical standards, and semantic characteristics allows for the identification of a text's structure as the result of a specific cognitive schema (scene, event, story, evaluation). The method has been verified ...
Added: June 2, 2026
Vorchik A., / SSRN. Серия Social Science Research Network "Social Science Research Network". 2026.
This work is devoted to a theoretical explanation of the Easterlin paradox, according to which long-term economic growth does not make average level of people's happiness increasing. By happiness, we mean the intensity of emotions people experience while comparing their new income with its expected value, or the target income with its original value. In the first case, ...
Added: May 31, 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