An analysis of Karp’s interpolation theorem and the notion of $k$-consistency property

Ruggero Ferro

Displaying similar documents to “An analysis of Karp’s interpolation theorem and the notion of $k$ -consistency property”

Seq-consistency property and interpolation theorems

Ruggero Ferro (1983)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

Karp's interpolation theorem for some classes of infinitary languages

Stefano Baratella (1989)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

Limits to some interpolation theorems

Ruggero Ferro (1975)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

Strong Maehara and Takeuti type interpolation theorems for $L_{k, k}^{2 +}$

Ruggero Ferro (1991)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

Strong Maehara and Takeuti type interpolation theorems for $L_{k, k}^{2 +}$

Ruggero Ferro (1991)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

$λ$ -satisfiability, $λ$ -consistency property, the downward Lowenheim Skolem theorem, and the failure of the interpolation theorem for $L_{k, k}$ with $k$ a strong limit cardinal of cofinality $λ$

Ruggero Ferro (1988)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

$ω$ -satisfiability, $ω$ -consistency property, and the downward Lowenheim Skolem theorem for $L_{k, k}$

Ruggero Ferro (1982)

Rendiconti del Seminario Matematico della Università di Padova

Similarity:

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

Analytic Tableaux and Interpolation

Miodrag Kapetanović (2007)

Publications de l'Institut Mathématique

Similarity:

Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures

Solomon Feferman (1974)

Fundamenta Mathematicae

Similarity:

Interpolation Formulas Over Finite Sets

Coriolan Ghilezan, Sergiu Rudeanu (1979)

Publications de l'Institut Mathématique

Similarity:

Displaying similar documents to “An analysis of Karp’s interpolation theorem and the notion of k -consistency property”

Displaying similar documents to “An analysis of Karp’s interpolation theorem and the notion of $k$ -consistency property”