Сильная эквивалентность на интуиционистской модели Крипке и ассерторически равнообъемные логики

@article{Муравицкий1981,
author = {Муравицкий, А.Ю.},
journal = {Algebra i Logika},
keywords = {p-morphism; modal logics; intuitionistic propositional logic; formal arithmetical provability logic; conservative extension; finite model property},
language = {rus},
number = {2},
pages = {165-182},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Сильная эквивалентность на интуиционистской модели Крипке и ассерторически равнообъемные логики},
url = {http://eudml.org/doc/187131},
volume = {20},
year = {1981},
}

TY - JOUR
AU - Муравицкий, А.Ю.
TI - Сильная эквивалентность на интуиционистской модели Крипке и ассерторически равнообъемные логики
JO - Algebra i Logika
PY - 1981
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 20
IS - 2
SP - 165
EP - 182
LA - rus
KW - p-morphism; modal logics; intuitionistic propositional logic; formal arithmetical provability logic; conservative extension; finite model property
UR - http://eudml.org/doc/187131
ER -