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

Shrejner, P.A.. "On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains.." Siberian Mathematical Journal 41.2 (2000): 470-479 (2000); translation in Sib. Math. J. 41. <http://eudml.org/doc/120558>.

@article{Shrejner2000,
author = {Shrejner, P.A.},
journal = {Siberian Mathematical Journal},
keywords = {intuitionistic logic; Kripke frame; completeness},
language = {eng},
number = {2},
pages = {470-479 (2000); translation in Sib. Math. J. 41},
publisher = {Pleiades Publishing, Tortola, British Virgin Islands; Nauka/Interperiodica, Moscow; Springer},
title = {On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains.},
url = {http://eudml.org/doc/120558},
volume = {41},
year = {2000},
}

TY - JOUR
AU - Shrejner, P.A.
TI - On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains.
JO - Siberian Mathematical Journal
PY - 2000
PB - Pleiades Publishing, Tortola, British Virgin Islands; Nauka/Interperiodica, Moscow; Springer
VL - 41
IS - 2
SP - 470
EP - 479 (2000); translation in Sib. Math. J. 41
LA - eng
KW - intuitionistic logic; Kripke frame; completeness
UR - http://eudml.org/doc/120558
ER -