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:
Shrejner, P.A. (2000)
Siberian Mathematical Journal
Similarity:
Rybakov, V.V., Rimatskij, V.V. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Tishkovskij, D.E. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Rutskij, A.N., Fedorishin, B.R. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Cherednichenko, V.G. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Solon, B.Ya. (2000)
Siberian Mathematical Journal
Similarity:
Chueshev, A.V. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Alexandru Zaharescu (1999)
Acta Arithmetica
Similarity:
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...
P. Codecà, M. Nair (2000)
Acta Arithmetica
Similarity:
Georges Rhin, Carlo Viola (1996)
Acta Arithmetica
Similarity:
Zhi-Wei Sun (1997)
Acta Arithmetica
Similarity: