Модальные напарники суперинтуиционистских логик: синтаксис, семантика и теоремы о сохранении
Matematiceskij sbornik (1989)
- Volume: 180, Issue: 10, page 1415-1427
- ISSN: 0368-8666
Access Full Article
top
How to cite
topЗахарьящев, М.В.. "Модальные напарники суперинтуиционистских логик: синтаксис, семантика и теоремы о сохранении." Matematiceskij sbornik 180.10 (1989): 1415-1427. <http://eudml.org/doc/72110>.
@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 -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.