Absence of the interpolation property in the calculi  and .

Murzina, V.F.

The search session has expired. Please query the service again.

Displaying similar documents to “Absence of the interpolation property in the calculi $L α$ and $L f$ .”

On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains.

Shrejner, P.A. (2000)

Siberian Mathematical Journal

Similarity:

Preservation of admissibility of inference rules in the logics similar to S4. 2.

Rybakov, V.V., Rimatskij, V.V. (2002)

Sibirskij Matematicheskij Zhurnal

Similarity:

On the Beth property in extension of Lukasiewicz logics.

Tishkovskij, D.E. (2002)

Sibirskij Matematicheskij Zhurnal

Similarity:

An inheritance criterion for the admissible inference rules of K4.

Rutskij, A.N., Fedorishin, B.R. (2002)

Sibirskij Matematicheskij Zhurnal

Similarity:

Rational interpolation: analytical solution.

Cherednichenko, V.G. (2002)

Sibirskij Matematicheskij Zhurnal

Similarity:

$e$ -immune sets.

Solon, B.Ya. (2000)

Siberian Mathematical Journal

Similarity:

About one high-order linear equation of mixed type.

Chueshev, A.V. (2002)

Sibirskij Matematicheskij Zhurnal

Similarity:

Averages of short exponential sums

Alexandru Zaharescu (1999)

Acta Arithmetica

Similarity:

Linear forms in two logarithms and interpolation determinants

Michel Laurent (1994)

Acta Arithmetica

Similarity:

1. Introduction. Our aim is to test numerically the new method of interpolation determinants (cf. [2], [6]) in the context of linear forms in two logarithms. In the recent years, M. Mignotte and M. Waldschmidt have used Schneider's construction in a series of papers [3]-[5] to get lower bounds for such a linear form with rational integer coefficients. They got relatively precise results with a numerical constant around a few hundreds. Here we take up Schneider's method again in...

A note on a result of Bateman and Chowla

P. Codecà, M. Nair (2000)

Acta Arithmetica

Similarity:

On a permutation group related to ζ(2)

Georges Rhin, Carlo Viola (1996)

Acta Arithmetica

Similarity:

Exact m-covers and the linear form $\sum_{s = 1}^{k} x_{s} / n_{s}$

Zhi-Wei Sun (1997)

Acta Arithmetica

Similarity:

Displaying similar documents to “Absence of the interpolation property in the calculi L α and L f .”

Displaying similar documents to “Absence of the interpolation property in the calculi $L α$ and $L f$ .”