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:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: