Displaying similar documents to “Interpolation in Normal Extensions of the Brouwer Logic”

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.

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...

Extension via interpolation

A. Goncharov (2005)

Banach Center Publications

Similarity:

We suggest a modification of the Pawłucki and Pleśniak method to construct a continuous linear extension operator by means of interpolation polynomials. As an illustration we present explicitly the extension operator for the space of Whitney functions given on the Cantor ternary set.

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....

Characterization of some interpolation spaces (I)

Alessandra Lunardi (1982)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Si calcolano alcuni spazi di interpolazione fra spazi di funzioni hölderiane.

Algebraic Characterization of the Local Craig Interpolation Property

Zalán Gyenis (2018)

Bulletin of the Section of Logic

Similarity:

The sole purpose of this paper is to give an algebraic characterization, in terms of a superamalgamation property, of a local version of Craig interpolation theorem that has been introduced and studied in earlier papers. We continue ongoing research in abstract algebraic logic and use the framework developed by Andréka– Németi and Sain.