Geodesic
Основные задачи выразимости формул в неклассических логиках
Matematičeskie issledovaniâ, Tome 98 (1987), pp. 94-120

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

Mots-clés : expressibility of formulas, intermediate logics, intuitionistic logic, superintuitionistic logic, completeness, modal logics 
@article{MI_1987__98_189951,
     author = {{\CYRM}.{\CYRF}. {\CYRR}{\cyra}{\cyrc}{\cyra}},
     title = {{\CYRO}{\cyrs}{\cyrn}{\cyro}{\cyrv}{\cyrn}{\cyrery}{\cyre} {\cyrz}{\cyra}{\cyrd}{\cyra}{\cyrch}{\cyri} {\cyrv}{\cyrery}{\cyrr}{\cyra}{\cyrz}{\cyri}{\cyrm}{\cyro}{\cyrs}{\cyrt}{\cyri} {\cyrf}{\cyro}{\cyrr}{\cyrm}{\cyru}{\cyrl} {\cyrv} {\cyrn}{\cyre}{\cyrk}{\cyrl}{\cyra}{\cyrs}{\cyrs}{\cyri}{\cyrch}{\cyre}{\cyrs}{\cyrk}{\cyri}{\cyrh} {\cyrl}{\cyro}{\cyrg}{\cyri}{\cyrk}{\cyra}{\cyrh}},
     journal = {Matemati\v{c}eskie issledovani\^a},
     pages = {94--120},
     publisher = {mathdoc},
     volume = {98},
     year = {1987},
     zbl = {0652.03014},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MI_1987__98_189951/}
}
TY  - JOUR
AU  - М.Ф. Раца
TI  - Основные задачи выразимости формул в неклассических логиках
JO  - Matematičeskie issledovaniâ
PY  - 1987
SP  - 94
EP  - 120
VL  - 98
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MI_1987__98_189951/
LA  - ru
ID  - MI_1987__98_189951
ER  - 
%0 Journal Article
%A М.Ф. Раца
%T Основные задачи выразимости формул в неклассических логиках
%J Matematičeskie issledovaniâ
%D 1987
%P 94-120
%V 98
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MI_1987__98_189951/
%G ru
%F MI_1987__98_189951
М.Ф. Раца. Основные задачи выразимости формул в неклассических логиках. Matematičeskie issledovaniâ, Tome 98 (1987), pp. 94-120. http://geodesic.mathdoc.fr/item/MI_1987__98_189951/