?
Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Chapters
Kanovich M., Kuznetsov S., Scedrov A., , in: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, ProceedingsVol. 11541: Lecture Notes in Computer Science.: Berlin, Heidelberg: Springer, 2019. P. 373–391.
Language and relational models, or L-models and R-models, are two natural classes of models for the Lambek calculus. Completeness w.r.t. L-models was proved by Pentus and completeness w.r.t. R-models by Andréka and Mikulás. It is well known that adding both additive conjunction and disjunction together yields incompleteness, because of the distributive law. The product-free Lambek ...
Added: September 4, 2019
Kanovich M., Kuznetsov S., Scedrov A., , in: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, ProceedingsVol. 11541: Lecture Notes in Computer Science.: Berlin, Heidelberg: Springer, 2019. P. 356–372.
The Lambek calculus was introduced as a mathematical description of natural languages. The original Lambek calculus is NP-complete (Pentus), while its product-free fragment with only one implication is polynomially decidable (Savateev). We consider Lambek calculus with the additional connectives: conjunction and disjunction. It is known that this system is PSPACE-complete (Kanovich, Kanazawa). We prove, in ...
Added: September 4, 2019
Savateev Y., Shamkanov D. S., , in: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, ProceedingsVol. 11541: Lecture Notes in Computer Science.: Berlin, Heidelberg: Springer, 2019. P. 569–583.
We present a sequent calculus for the weak Grzegorczyk logic 𝖦𝗈 allowing non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs. ...
Added: September 16, 2019
Keywords: Logic
Shabanov N., Kuricheva O., Kurbatova J. et al., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
The carbon balance of an ecosystem is the difference between Gross Primary Productivity (GPP) and Ecosystem Respiration (Reco) as expressed by Net Ecosystem Exchange (NEE). While remote sensing retrievals of GPP have reached maturity, Reco estimation remains underexplored and ultimately cast bias on NEE. Here we present an end-to-end multi-scale analysis of the mechanism of ...
Added: August 21, 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
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
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
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
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
Gabdullin N., Androsov I., / Series Computer Science "arxiv.org". 2026.
Label prediction in neural networks (NNs) has O(n) complexity proportional to the number of classes. This holds true for classification using fully connected layers and cosine similarity with some set of class prototypes. In this paper we show that if NN latent space (LS) geometry is known and possesses specific properties, label prediction complexity can ...
Added: April 2, 2026
Sorokin K., Beketov M., Онучин А. et al., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Community detection in complex networks is a fundamental problem, open to new approaches in various scientific settings. We introduce a novel community detection method, based on Ricci flow on graphs. Our technique iteratively updates edge weights (their metric lengths) according to their (combinatorial) Foster version of Ricci curvature computed from effective resistance distance between the ...
Added: January 15, 2026
Petrovanov I., Sergeev A., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Transport coding reduces message delay in packet-switched networks by introducing controlled redundancy at the transport layer: original packets are encoded into coded packets, and the message is reconstructed after the first successful deliveries, effectively shifting latency from the maximum packet delay to the -th order statistic. We present a concise, reproducible discrete-event implementation of transport coding in OMNeT++, including ...
Added: December 24, 2025
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset
Меньшиков И. А., Бернадотт А. К., Elvimov N. S., / Series arXie "Statistical mechanics". 2025.
Accurate segmentation of blood vessels in brain magnetic resonance angiography (MRA) is essential for successful surgical procedures, such as aneurysm repair or bypass surgery. Currently, annotation is primarily performed through manual segmentation or classical methods, such as the Frangi filter, which often lack sufficient accuracy. Neural networks have emerged as powerful tools for medical image ...
Added: December 1, 2025
Polyakov L., Вестник Московского университета. Серия 7: Философия 2024 Т. 48 № 4 С. 29–43
Th is paper is an attempt to explicate the logic of transformation Alexander
Zinoviev’s logical conception, designated by him as “complex logic”, into
original genre of literature — “sociological novel”. To understand this process more
deeper, I have compared Zinoviev’s search with Hegel’s defi nition of logic as a science
and with paradoxical presumptions of “Th e Logical-Philosophical Tractatus” ...
Added: December 24, 2024
Cham: Springer, 2024.
This book celebrates and explores some philosophical issues raised by the work of Alan Weir, who is Professor Emeritus at the University of Glasgow, having previously held positions at the Universities of Oxford, Edinburgh and Queen’s, Belfast. In a number of areas, Weir has elaborated strikingly original views which involve a radical departure from the mainstream. ...
Added: September 12, 2024
Cham: Springer, 2022.
Added: August 7, 2022
Cham: Springer, 2020.
This Festschrift is in honor of Prof. Andre Scedrov at the University of Pennsylvania. Scedrov has laid the foundations for a number of now well-established domains in mathematics and computer science including Proof Theory, Logic in Computer Science, Foundations in Computer Security, and Linguistics.
This combination of breadth and penetrating originality is rare and impressive. This ...
Added: November 25, 2020
Kryuchkova S. E., М.: Юрайт, 2020.
The development of the ideas of argumentation in the Ancient World was closely connected with the formation of logic as a science of thinking, as well as the development of oratory. The presence of constant rhetorical practice, during which the most effective methods of persuading speech influence were developed, stimulated the development of similar ideas ...
Added: December 28, 2019
Centre for Language, Logic and Speech at the Tbilisi State University, 2017.
The Tbilisi Symposium on Language, Logic and Computation is an interdisciplinary conference at the interface of logic, linguistics and computer science with the goal of sharing new results and developing mutually beneficial relationship between these fields. The Symposium is held biennially in different parts of Georgia. It is organized by the Institute for Logic, Language ...
Added: October 8, 2019
Lvovsky S., М.: МЦНМО, 2019.
Chapter 1 contains 25 mathematical an logical sophisms; the reader is encouraged to find errors in the arguments "proving" the absurd assertions. In Chaper 2, we analyze these sophisms. ...
Added: September 2, 2019
Vasyukov V. L., , in: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва.: М.: Современные тетради, 2019. P. 60–61.
Contemporary science to date is featuring by an interdisciplinary approach
that is claimed in many newest scienti c programs. Interdisciplinary interaction
according to V. S. Stepin is based \on 'paradigmatic grafting' { transfer of
notions of the special scienti c picture of the world, as well as investigation
ideals and norms, from one scienti c discipline to another" [1, p. 307]. ...
Added: June 30, 2019
Pietarinen A., Semiotica 2019 Vol. 228 P. 237–257
Peirce aspired for the completeness of his logic cum the theory of signs in his 1903 Lowell Lectures and other late manuscripts. Semeiotic completeness states that everything that is a consequence in logical critic is derivable in speculative grammar. The present paper exposes the reasons why Peirce would fall short of establishing semeiotic completeness and ...
Added: May 9, 2019
Лау Д. Ф., М.: Эксмо, 2017.
The author teaches to awaken creativity in oneself, using emotions as a factor of motivation, explains the concept of critical thinking, gives the reader tools to add / edit publications to increase the clarity and rationality of their own judgments, and also shows where a particular theory is applicable ...
Added: October 8, 2018
Vasyukov V. L., Вестник Российского университета дружбы народов. Серия: Философия 2017 Vol. 21 No. 2 P. 192–198
Aristotle was the founder not only logics but also of ontology which he describes in Metaphysics and Categories as a theory of general properties of all entities and categorical aspects they should be analyzed. Meanwhile it is commonly accepted that we inherited from him not one but two different logics: early dialectical logoi of Topics ...
Added: June 29, 2018
Wendland A. J., , in: Other Logics.: Leiden: Brill, 2014.
Carnap took Heidegger to task for the production of ‘philosophical nonsense’. Carnap’s criterion for classifying Heidegger’s assertions as nonsense is rooted in the Logical Positivists' 'principle of verification’. According to this principle, a sentence has literal meaning if and only if the proposition it expresses is either analytic or empirically verifiable. The most obvious (or ...
Added: December 18, 2017