Related papers: An analysis of the logic of Riesz Spaces with stro…
The ability to understand and reason about spatial relationships between objects in images is an important component of visual reasoning. This skill rests on the ability to recognize and localize objects of interest and determine their…
Some properties of the 4-dim Riemannian spaces with the metrics $$ ds^2=2(za_3-ta_4)dx^2+4(za_2-ta_3)dxdy+2(za_1-ta_2)dy^2+2dxdz+2dydt $$ associated with the second order nonlinear differential equations $$…
We introduce a weighted linear dynamic logic (weighted LDL for short) and show the expressive equivalence of its formulas to weighted rational expressions. This adds a new characterization for recognizable series to the fundamental…
Motivated by the recent developments of the theory of Cherednik algebras in positive characteristic, we study rational Cherednik algebras with divided powers. In our research we have started with the simplest case, the rational Cherednik…
Let $(M, {g})$ be a compact, $d$-dimensional Riemannian manifold without boundary. Suppose further that $(M,g)$ is either two dimensional and has no conjugate points or $(M,g)$ has non-positive sectional curvature. The goal of this note is…
We establish a novel connection between two research areas in non-classical logics which have been developed independently of each other so far: on the one hand, input/output logic, introduced within a research program developing logical…
We study rewriting systems whose underlying set of terms is equipped with a vector space structure over a given field. We introduce parallel rewriting relations, which are rewriting relations compatible with the vector space structure, as…
We present a novel unity of logic, viz., a single sequent calculus that embodies classical, intuitionistic and linear logics. Concretely, we define classical linear logic negative (CLL$^-$), a new logic that is classical and linear yet…
The paper aims to develop a framework for coalgebraic fuzzy geometric logic by adding modalities to the language of fuzzy geometric logic. Using the methods of coalgebra, the modal operators are introduced in the language of fuzzy geometric…
This paper provides a self-contained exposition of coorbit spaces associated to integrable group representations and quasi-Banach function spaces, and at the same time extends and simplifies previous work. The main results provide an…
The paper explores properties of the {\L}ukasiewicz {\mu}-calculus, or {\L}{\mu} for short, an extension of {\L}ukasiewicz logic with scalar multiplication and least and greatest fixed-point operators (for monotone formulas). We observe…
Recently, frame multipliers, pair frames, and controlled frames have been investigated to improve the numerical efficiency of iterative algorithms for inverting the frame operator and other applications of frames. In this paper, the concept…
The rational Kashiwara-Miwa model is an example of an Ising-type integrable model of the statistical physics, related to the six-vertex trigonometric $R$-matrix. Two-spin edge weights of the model are expressed in the terms of $q$-products,…
Strong convergence and convergence in probability were generalized to the setting of a Riesz space with conditional expectation operator, T, in [Y. Azouzi, W.-C. Kuo, K. Ramdane, B. A. Watson, Convergence in Riesz spaces with conditional…
We introduce the $L_!^S$-calculus, a linear lambda-calculus extended with scalar multiplication and term addition, that acts as a proof language for intuitionistic linear logic (ILL). These algebraic operations enable the direct expression…
Logical formalisms for reasoning about relations between spatial regions play a fundamental role in geographical information systems, spatial and constraint databases, and spatial reasoning in AI. In analogy with Halpern and Shoham's modal…
We study and classify Lie algebras, homogeneous spacetimes and coadjoint orbits ("particles") of Lie groups generated by spatial rotations, temporal and spatial translations and an additional scalar generator. As a first step we classify…
Evaluation of multimodal reasoning models is typically reduced to a single accuracy score, implicitly treating reasoning as a unitary capability. We introduce MathLens, a benchmark of textbook-style geometry problems that exposes this…
This paper considers the problem of reasoning on massive amounts of (possibly distributed) data. Presently, existing proposals show some limitations: {\em (i)} the quantity of data that can be handled contemporarily is limited, due to the…
We consider several harmonic analysis operators in the multi-dimensional context of the Dunkl Laplacian with the underlying group of reflections isomorphic to $\mathbb{Z}_2^n$ (also negative values of the multiplicity function are…