Geodesic
Модальные напарники суперинтуиционистских логик: синтаксис, семантика и теоремы о сохранении
Matematičeskij sbornik, Tome 180 (1989) no. 10, pp. 1415-1427.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : model theory, Gödel-Tarski translation of a propositional formula, superintuitionistic logic, modal logic, finite model property, Kripke completeness, disjunctive properties, decidability 
@article{MS_1989__180_10_a4,
     author = {{\CYRM}.{\CYRV}. {\CYRZ}{\cyra}{\cyrh}{\cyra}{\cyrr}{\cyrsftsn}{\cyrya}{\cyrshch}{\cyre}{\cyrv}},
     title = {{\CYRM}{\cyro}{\cyrd}{\cyra}{\cyrl}{\cyrsftsn}{\cyrn}{\cyrery}{\cyre} {\cyrn}{\cyra}{\cyrp}{\cyra}{\cyrr}{\cyrn}{\cyri}{\cyrk}{\cyri} {\cyrs}{\cyru}{\cyrp}{\cyre}{\cyrr}{\cyri}{\cyrn}{\cyrt}{\cyru}{\cyri}{\cyrc}{\cyri}{\cyro}{\cyrn}{\cyri}{\cyrs}{\cyrt}{\cyrs}{\cyrk}{\cyri}{\cyrh} {\cyrl}{\cyro}{\cyrg}{\cyri}{\cyrk}: {\cyrs}{\cyri}{\cyrn}{\cyrt}{\cyra}{\cyrk}{\cyrs}{\cyri}{\cyrs}, {\cyrs}{\cyre}{\cyrm}{\cyra}{\cyrn}{\cyrt}{\cyri}{\cyrk}{\cyra} {\cyri} {\cyrt}{\cyre}{\cyro}{\cyrr}{\cyre}{\cyrm}{\cyrery} {\cyro} {\cyrs}{\cyro}{\cyrh}{\cyrr}{\cyra}{\cyrn}{\cyre}{\cyrn}{\cyri}{\cyri}},
     journal = {Matemati\v{c}eskij sbornik},
     pages = {1415--1427},
     publisher = {mathdoc},
     volume = {180},
     number = {10},
     year = {1989},
     zbl = {0686.03011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MS_1989__180_10_a4/}
}
TY  - JOUR
AU  - М.В. Захарьящев
TI  - Модальные напарники суперинтуиционистских логик: синтаксис, семантика и теоремы о сохранении
JO  - Matematičeskij sbornik
PY  - 1989
SP  - 1415
EP  - 1427
VL  - 180
IS  - 10
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS_1989__180_10_a4/
LA  - ru
ID  - MS_1989__180_10_a4
ER  - 
%0 Journal Article
%A М.В. Захарьящев
%T Модальные напарники суперинтуиционистских логик: синтаксис, семантика и теоремы о сохранении
%J Matematičeskij sbornik
%D 1989
%P 1415-1427
%V 180
%N 10
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS_1989__180_10_a4/
%G ru
%F MS_1989__180_10_a4
М.В. Захарьящев. Модальные напарники суперинтуиционистских логик: синтаксис, семантика и теоремы о сохранении. Matematičeskij sbornik, Tome 180 (1989) no. 10, pp. 1415-1427. http://geodesic.mathdoc.fr/item/MS_1989__180_10_a4/