Related papers: Uniform Lyndon interpolation property in propositi…

In this paper, we first propose a general interpolation algorithm in a free module of a linearized polynomial ring, and then apply this algorithm to decode several important families of codes, Gabidulin codes, KK codes and MV codes. Our…

In this paper, we propose a closed-form solution to the inverse problem in interpolation with periodic uniform B-spline curves. This solution is obtained by modifying the one we have established to a similar problem with relaxed uniform…

We develop a special multilinear complex interpolation theorem that allows us to prove an optimal version of the bilinear H\"ormander multiplier theorem concerning symbols that lie in the Sobolev space $L^r_s(\mathbb R^{2n})$, $2\le…

Craig interpolation is a widespread method in verification, with important applications such as Predicate Abstraction, CounterExample Guided Abstraction Refinement and Lazy Abstraction With Interpolants. Most state-of-the-art model checking…

We propose a modal study of the notion of bisimulation. Our contribution is threefold. First, we extend the basic modal language with a new modality $\nbi$, whose intended meaning is universal quantification over all states that are…

Let K be a non-archimedean local field and let G be a connected reductive K-group which splits over an unramified extension of K. We investigate supercuspidal unipotent representations of the group G(K). We establish a bijection between the…

Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature. We describe an intuitionistic substructural logic called…

We consider interpolation from the viewpoint of fully automated theorem proving in first-order logic as a general core technique for mechanized knowledge processing. For Craig interpolation, our focus is on the two-stage approach, where…

We introduce the notion of a generalized representation of a Jordan algebra with unit. The greneralized representation has the following properties: (1) Usual representations and Jacobson representations correspond to special cases of…

In [17], we introduced a modal logic, called $L$, which combines intuitionistic propositional logic $IPC$ and classical propositional logic $CPC$ and is complete w.r.t. an algebraic semantics. However, $L$ seems to be too weak for…

This paper explores the equivalences between four definitions of uniform large deviations principles and uniform Laplace principles found in the literature. Counterexamples are presented to illustrate the differences between these…

This paper considers the problem of assumptions refinement in the context of unrealizable specifications for reactive systems. We propose a new counterstrategy-guided synthesis approach for GR(1) specifications based on Craig's…

In this paper we prove a Robinson consistency theorem for a class of many-sorted hybrid logics as a consequence of an Omitting Types Theorem. An important corollary of this result is an interpolation theorem.

For nonautonomous, nonuniformly elliptic integrals with so-called $(p,q)$-growth conditions, we show a general interpolation property allowing to get basic higher integrability results for H\"older continuous minimizers under improved…

In this paper we introduce a class of BMO spaces which interpolate with $L_p$ and are sufficiently large to serve as endpoints for new singular integral operators. More precisely, let $(\Omega, \Sigma, \mu)$ be a $\sigma$-finite measure…

We extend to singular cardinals the model-theoretical relation $\lambda \stackrel{\kappa}{\Rightarrow} \mu$ introduced in P. Lipparini, The compactness spectrum of abstract logics, large cardinals and combinatorial principles, Boll. Unione…

An elliptic divisibility sequence, generated by a point in the image of a rational isogeny, is shown to possess a uniformly bounded number of prime terms. This result applies over the rational numbers, assuming Lang's conjecture, and over…

We show that a vast class of finitary fragments of geometric logic admit a form of Craig interpolation property. In doing so, we provide a new dictionary to import technology from algebraic logic to categorical logic.

This paper is concerned with the concept of linear repetitivity in the theory of tilings. We prove a general uniform subadditive ergodic theorem for linearly repetitive tilings. This theorem unifies and extends various known (sub)additive…

In this paper we introduce the class of graded Poisson color algebras as the natural generalization of graded Poisson algebras and graded Poisson superalgebras. For $\Lambda$ an arbitrary abelian group, we show that any of such…