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:
Rutskij, A.N., Fedorishin, B.R. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Tishkovskij, D.E. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Solon, B.Ya. (2000)
Siberian Mathematical Journal
Similarity:
Rimatskiĭ, V.V. (2009)
Sibirskij Matematicheskij Zhurnal
Similarity:
C. Pérez (2008)
Boletín de Estadística e Investigación Operativa. BEIO
Similarity:
Škrbić, Srđan, Bodroški, Žarko, Pupovac, Biljana, Racković, Miloš (2007)
Novi Sad Journal of Mathematics
Similarity:
Vidaković, Jovana, Racković, Miloš (2007)
Novi Sad Journal of Mathematics
Similarity:
A. Tsoukiàs (2007)
Boletín de Estadística e Investigación Operativa. BEIO
Similarity:
König, Roman (2002)
Séminaire Lotharingien de Combinatoire [electronic only]
Similarity:
Kiyatkin, V.R. (2000)
Siberian Mathematical Journal
Similarity:
Benchalli, S.S., Siddapur, G.P. (2009)
Bulletin of Mathematical Analysis and Applications [electronic only]
Similarity: