Сильная эквивалентность на интуиционистской модели Крипке и ассерторически равнообъемные логики
Algebra i Logika (1981)
- Volume: 20, Issue: 2, page 165-182
- ISSN: 0373-9252
Access Full Article
topHow to cite
topМуравицкий, А.Ю.. "Сильная эквивалентность на интуиционистской модели Крипке и ассерторически равнообъемные логики." Algebra i Logika 20.2 (1981): 165-182. <http://eudml.org/doc/187131>.
@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 -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.