Related papers: The fixed point and the Craig interpolation proper…
This paper introduces a formal notion of fixed point explanations, inspired by the "why regress" principle, to assess, through recursive applications, the stability of the interplay between a model and its explainer. Fixed point…
In this paper we show that every homeomorphism of the plane with the topological shadowing property has a fixed point. Also, we show that a linear isomorphism of an Euclidean space has the topological shadowing property if and only if the…
One of the possible variants of the classification of trigonometric interpolation splines is considered, depending on the chosen convergence factors, the distribution of signs of the basis functions and the interpolation factors. The…
The relationship between interpolation and separation properties of hypersurfaces in Bargmann-Fock spaces over $\mathbb{C} ^n$ is not well-understood except for $n=1$. We present four examples of smooth affine algebraic hypersurfaces that…
The closed one-sided ideals of a C*-algebra are exactly the closed subspaces supported by the orthogonal complement of a closed projection. Let A be a (not necessarily selfadjoint) subalgebra of a unital C*-algebra B which contains the unit…
This paper presents a study of the inherent structural properties of Krylov subspaces, in particular for the self-adjoint class of operators, and how they relate with the important phenomenon of `Krylov solvability' of linear inverse…
In this paper we show that subsumption problems in lightweight description logics (such as $\mathcal{EL}$ and $\mathcal{EL}^+$) can be expressed as uniform word problems in classes of semilattices with monotone operators. We use…
We complete Maksimova's classification of the normal extensions of S4 with interpolation. In particular, we prove Craig interpolation for the six extensions of S4 for which Craig interpolation was still open. The proof strategy builds upon…
In this paper, we define an intuitionistic version of Computation Tree Logic. After explaining the semantic features of intuitionistic logic, we examine how these characteristics can be interesting for formal verification purposes.…
Interpolation-based techniques have become popularized in recent years because of their inherently modular and local reasoning, which can scale up existing formal verification techniques like theorem proving, model-checking, abstraction…
We investigate the notion of independence, which is at the basis of many, seemingly unrelated, properties of logic like Rational Monotony in non-monotonic logics, and interpolation theorems.
Many semantical aspects of programming languages, such as their operational semantics and their type assignment calculi, are specified by describing appropriate proof systems. Recent research has identified two proof-theoretic features that…
Proof-theoretic methods are developed for subsystems of Johansson's logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems.…
We study jumping lines loci of logarithmic bundles associated with finite sets of points in the projective plane. Using the interpolation matrix introduced in [DMTG25], we describe these loci as the zero sets of explicit determinants…
In this paper, we first characterize the finiteness of fractal interpolation functions (FIFs) on post critical finite self-similar sets. Then we study the Laplacian of FIFs with uniform vertical scaling factors on Sierpinski gasket (SG). As…
The connection between renormalons and power corrections is discussed in the case the effective coupling constant has an infrared fixed point of perturbative origin.
In this article, we define and explore the topological properties of partial Sb-metric space. We define interpolative Boyd-Wong type contraction and interpolative Matkowski type contractions in the setting of partial Sb-metric space and…
We introduce two novel ideas related to the crosscut poset and give many examples of application of these ideas to the fixed point property.
We study the problem of finding unitary submatrices of the $N \times N$ discrete Fourier transform matrix, in the context of interpolating a discrete bandlimited signal using an orthogonal basis. This problem is related to a diverse set of…
We generalize the fixed-point property for discrete groups acting on convex cones given by Monod in \cite{monod} to topological groups. At first, we focus on describing this fixed-point property from a functional point of view, and then we…