Geodesic
О двух расширениях логики доказуемости GL
Matematičeskij sbornik, Tome 181 (1990) no. 2, pp. 240-255.

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

Mots-clés : provability interpretation of Grz, provability logic, modal logic of provability GL, finite axiomatization 
@article{MS_1990__181_2_a1,
     author = {{\CYRV}.{\CYRYU}. {\CYRSH}{\cyra}{\cyrv}{\cyrr}{\cyru}{\cyrk}{\cyro}{\cyrv}},
     title = {{\CYRO} {\cyrd}{\cyrv}{\cyru}{\cyrh} {\cyrr}{\cyra}{\cyrs}{\cyrsh}{\cyri}{\cyrr}{\cyre}{\cyrn}{\cyri}{\cyrya}{\cyrh} {\cyrl}{\cyro}{\cyrg}{\cyri}{\cyrk}{\cyri} {\cyrd}{\cyro}{\cyrk}{\cyra}{\cyrz}{\cyru}{\cyre}{\cyrm}{\cyro}{\cyrs}{\cyrt}{\cyri} {GL}},
     journal = {Matemati\v{c}eskij sbornik},
     pages = {240--255},
     publisher = {mathdoc},
     volume = {181},
     number = {2},
     year = {1990},
     zbl = {0711.03003},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MS_1990__181_2_a1/}
}
TY  - JOUR
AU  - В.Ю. Шавруков
TI  - О двух расширениях логики доказуемости GL
JO  - Matematičeskij sbornik
PY  - 1990
SP  - 240
EP  - 255
VL  - 181
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS_1990__181_2_a1/
LA  - ru
ID  - MS_1990__181_2_a1
ER  - 
%0 Journal Article
%A В.Ю. Шавруков
%T О двух расширениях логики доказуемости GL
%J Matematičeskij sbornik
%D 1990
%P 240-255
%V 181
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS_1990__181_2_a1/
%G ru
%F MS_1990__181_2_a1
В.Ю. Шавруков. О двух расширениях логики доказуемости GL. Matematičeskij sbornik, Tome 181 (1990) no. 2, pp. 240-255. http://geodesic.mathdoc.fr/item/MS_1990__181_2_a1/