Модальные напарники суперинтуиционистских логик: синтаксис, семантика и теоремы о сохранении

@article{Захарьящев1989,
author = {Захарьящев, М.В.},
journal = {Matematiceskij sbornik},
keywords = {model theory; Gödel-Tarski translation of a propositional formula; superintuitionistic logic; modal logic; finite model property; Kripke completeness; disjunctive properties; decidability},
language = {rus},
number = {10},
pages = {1415-1427},
publisher = {Tipogr. Lissnera i Sobko},
title = {Модальные напарники суперинтуиционистских логик: синтаксис, семантика и теоремы о сохранении},
url = {http://eudml.org/doc/72110},
volume = {180},
year = {1989},
}

TY - JOUR
AU - Захарьящев, М.В.
TI - Модальные напарники суперинтуиционистских логик: синтаксис, семантика и теоремы о сохранении
JO - Matematiceskij sbornik
PY - 1989
PB - Tipogr. Lissnera i Sobko
VL - 180
IS - 10
SP - 1415
EP - 1427
LA - rus
KW - model theory; Gödel-Tarski translation of a propositional formula; superintuitionistic logic; modal logic; finite model property; Kripke completeness; disjunctive properties; decidability
UR - http://eudml.org/doc/72110
ER -