相关论文: Lyndon interpolation property for extensions of $\…

We propose a monotonic logic of internalised non-monotonic or instant interactive proofs (LiiP) and reconstruct an existing monotonic logic of internalised monotonic or persistent interactive proofs (LiP) as a minimal conservative extension…

We produce a flat $\Lambda$-module of $\Lambda$-adic critical slope overconvergent modular forms, producing a Hida-type theory that interpolates such forms over $p$-adically varying integer weights. This provides a Hida-theoretic…

Error estimates of cubic interpolated pseudo-particle scheme (CIP scheme) for the one-dimensional advection equation with periodic boundary conditions are presented. The CIP scheme is a semi-Lagrangian method involving the piecewise cubic…

We study the problem of $P$-interpolation, where $P$ is a set of binary predicate symbols, for certain classes of local extensions of a base theory. For computing the $P$-interpolating terms, we use a hierarchic approach: This allows us to…

We study the critical properties of the spin-continuous $S^{4}$ system on the typical translational invariant triangular lattices by combining the recently-developed generalized Migdal-Kadanoff bond-moving recursion procedures with the…

Non-iterative normal modal logics are defined by axioms of modal degree 1. In this paper we use calculations with normal forms to determine the set of all possible non-iterative normal modal logics, unimodal propositional extensions of K.…

We consider a natural notion of equivalence for bounded linear operators on $H^p,$ for $p\neq 2.$ We determine which isometries of finite codimension are equivalent. For these isometries , we classify those which have the Crownover…

In this note we generalize the main result in [DIV: R. Di Gennaro, G. Ilardi, J. Valles, Singular hypersurfaces characterizing the Lefschetz properties J. Lond. Math. Soc. (2) 89 (2014), no. 1, 194-212] on artinian ideals failing Lefschetz…

We combine the concepts of modal logics and many-valued logics in a general and comprehensive way. Namely, given any finite linearly ordered set of truth values and any set of propositional connectives defined by truth tables, we define the…

Planar L-loop maximally helicity violating amplitudes in N = 4 supersymmetric Yang-Mills theory are believed to possess the remarkable property of satisfying iteration relations in L. We propose a simple new method for studying the…

We show how Pick interpolation and interpolation on peak interpolation sets can be combined in an abstract uniform algebra setting. In particular as a special case, the Rudin-Carleson theorem can be combined with the classical Pick…

Propositional term modal logic is interpreted over Kripke structures with unboundedly many accessibility relations and hence the syntax admits variables indexing modalities and quantification over them. This logic is undecidable, and we…

We prove a real interpolation characterization for some non Euclidean H\"older spaces, built on the Lie structure induced by a class of ultra-parabolic Kolmogorov-type operators satisfying the H\"ormander condition. As a by-product we also…

Each Multiplicative Exponential Linear Logic (MELL) proof-net can be expanded into a differential net, which is its Taylor expansion. We prove that two different MELL proof-nets have two different Taylor expansions. As a corollary, we prove…

Interpolation inequalities play an important role in the study of PDEs and their applications. There are still some interesting open questions and problems that related to integral estimates and regularity of solutions to the elliptic…

We investigate the Strong Unique Continuation Property (SUCP) for elliptic equations with piecewise Lipschitz coefficients exhibiting jump discontinuities across a regular interface. We prove SUCP at the interface using a doubling…

Indexed Linear Logic has been introduced by Ehrhard and Bucciarelli, it can be seen as a logical presentation of non-idempotent intersection types extended through the relational semantics to the full linear logic. We introduce an…

The incorporation of Wilson lines leads to an extension of the modular symmetries of string compactification beyond $\mathrm{SL}(2,\mathbb Z)$. In the simplest case with one Wilson line $Z$, K\"ahler modulus $T$ and complex structure…

Analogues of Scott's isomorphism theorem, Karp's theorem as well as results on lack of compactness and strong completeness are established for infinitary propositional relevant logics. An "interpolation theorem" (of a particular sort…

We define a fragment of propositional logic where isomorphic propositions, such as $A\land B$ and $B\land A$, or $A\Rightarrow (B\land C)$ and $(A\Rightarrow B)\land(A\Rightarrow C)$ are identified. We define System I, a proof language for…