Displaying similar documents to “Algebraic Characterization of the Local Craig Interpolation Property”

Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate

Paolo Maffezioli, Eugenio Orlandelli (2019)

Bulletin of the Section of Logic

Similarity:

In previous work by Baaz and Iemhoff, a Gentzen calculus for intuitionistic logic with existence predicate is presented that satisfies partial cut elimination and Craig's interpolation property; it is also conjectured that interpolation fails for the implication-free fragment. In this paper an equivalent calculus is introduced that satisfies full cut elimination and allows a direct proof of interpolation via Maehara's lemma. In this way, it is possible to obtain much simpler interpolants...

On interpolation in NEXT(KB.Alt(2))

Zofia Kostrzycka (2018)

Bulletin of the Section of Logic

Similarity:

We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.

Interpolation in Normal Extensions of the Brouwer Logic

Zofia Kostrzycka (2016)

Bulletin of the Section of Logic

Similarity:

The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.

Seshadri constants and interpolation on commutative algebraic groups

Stéphane Fischler, Michael Nakamaye (2014)

Annales de l’institut Fourier

Similarity:

In this article we study interpolation estimates on a special class of compactifications of commutative algebraic groups constructed by Serre. We obtain a large quantitative improvement over previous results due to Masser and the first author and our main result has the same level of accuracy as the best known multiplicity estimates. The improvements come both from using special properties of the compactifications which we consider and from a different approach based upon Seshadri constants...

Three ways of interpolation on finite elements

Šolín, Pavel, Segeth, Karel

Similarity:

Interpolation on finite elements usually occurs in a Hilbert space setting, which means that interpolation techniques involving orthogonal projection are an alternative for the traditional Lagrange nodal interpolation schemes. In addition to the Lagrange interpolation, this paper discusses the global orthogonal projection and the projection-based interpolation. These techniques are compared from the point of view of quality, efficiency, sensitivity to input parameters and other aspects....

An extended Prony’s interpolation scheme on an equispaced grid

Dovile Karalienė, Zenonas Navickas, Raimondas Čiegis, Minvydas Ragulskis (2015)

Open Mathematics

Similarity:

An interpolation scheme on an equispaced grid based on the concept of the minimal order of the linear recurrent sequence is proposed in this paper. This interpolation scheme is exact when the number of nodes corresponds to the order of the linear recurrent function. It is shown that it is still possible to construct a nearest mimicking algebraic interpolant if the order of the linear recurrent function does not exist. The proposed interpolation technique can be considered as the extension...