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

Siberian Mathematical Journal (2000)

- Volume: 41, Issue: 2, page 470-479 (2000); translation in Sib. Math. J. 41
- ISSN: 0037-4474

## Access Full Article

top## How to cite

topShrejner, 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 -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.