English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

We study the problem of $P$-interpolation, where $P$ is a set of binarypredicate symbols, for certain classes of local extensions of a base theory.For computing the $P$-interpolating terms, we use a hierarchic approach: Thisallows us to compute the interpolating terms using a method for computinginterpolating terms in the base theory. We use these results for proving$\leq$-interpolation in classes of semilattices with monotone operators; weshow, by giving a counterexample, that $\leq$-interpolation does not hold if by"shared" symbols we mean just the common symbols. We use these results for thestudy of $\sqsubseteq$-interpolation in the description logics ${\cal EL}$ and${\cal EL}^+$.

On $P$-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics ${\cal EL}, {\cal EL}^+$