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:
Displaying similar documents to “Absence of the interpolation property in the calculi and .”
On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains.
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:
-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
Zhi-Wei Sun (1997)
Acta Arithmetica
Similarity: