Geodesic
О суперинтуиционистских логиках как фрагментах расширений логики доказуемости
Matematičeskie issledovaniâ, Tome 98 (1987), pp. 15-39 Cet article a éte moissonné depuis la source European Digital Mathematics Library

Voir la notice de l'article

Mots-clés : axiomatization of provability, propositional logics 
@article{MI_1987__98_189946,
     author = {{\CYRA}.{\CYRV}. {\CYRK}{\cyru}{\cyrz}{\cyrn}{\cyre}{\cyrc}{\cyro}{\cyrv} and {\CYRA}.{\CYRYU}. {\CYRM}{\cyru}{\cyrr}{\cyra}{\cyrv}{\cyri}{\cyrc}{\cyrk}{\cyri}{\cyrishrt}},
     title = {{\CYRO} {\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}{\cyra}{\cyrh} {\cyrk}{\cyra}{\cyrk} {\cyrf}{\cyrr}{\cyra}{\cyrg}{\cyrm}{\cyre}{\cyrn}{\cyrt}{\cyra}{\cyrh} {\cyrr}{\cyra}{\cyrs}{\cyrsh}{\cyri}{\cyrr}{\cyre}{\cyrn}{\cyri}{\cyrishrt} {\cyrl}{\cyro}{\cyrg}{\cyri}{\cyrk}{\cyri} {\cyrd}{\cyro}{\cyrk}{\cyra}{\cyrz}{\cyru}{\cyre}{\cyrm}{\cyro}{\cyrs}{\cyrt}{\cyri}},
     journal = {Matemati\v{c}eskie issledovani\^a},
     pages = {15--39},
     year = {1987},
     volume = {98},
     zbl = {0642.03016},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MI_1987__98_189946/}
}
TY  - JOUR
AU  - А.В. Кузнецов
AU  - А.Ю. Муравицкий
TI  - О суперинтуиционистских логиках как фрагментах расширений логики доказуемости
JO  - Matematičeskie issledovaniâ
PY  - 1987
SP  - 15
EP  - 39
VL  - 98
UR  - http://geodesic.mathdoc.fr/item/MI_1987__98_189946/
LA  - ru
ID  - MI_1987__98_189946
ER  - 
%0 Journal Article
%A А.В. Кузнецов
%A А.Ю. Муравицкий
%T О суперинтуиционистских логиках как фрагментах расширений логики доказуемости
%J Matematičeskie issledovaniâ
%D 1987
%P 15-39
%V 98
%U http://geodesic.mathdoc.fr/item/MI_1987__98_189946/
%G ru
%F MI_1987__98_189946
А.В. Кузнецов; А.Ю. Муравицкий. О суперинтуиционистских логиках как фрагментах расширений логики доказуемости. Matematičeskie issledovaniâ, Tome 98 (1987), pp. 15-39. http://geodesic.mathdoc.fr/item/MI_1987__98_189946/