Geodesic
Базисы допустимых правил модальной системы Grz и интуиционистской логики
Matematičeskij sbornik, Tome 170 (1987) no. 3, pp. 321-338.

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

Mots-clés : Recursive bases of admissible rules, propositional intuitionistic logic, Grzegorczyk modal logic 
@article{MS_1987__170_3_a0,
     author = {{\CYRV}.{\CYRV}. {\CYRR}{\cyrery}{\cyrb}{\cyra}{\cyrk}{\cyro}{\cyrv}},
     title = {{\CYRB}{\cyra}{\cyrz}{\cyri}{\cyrs}{\cyrery} {\cyrd}{\cyro}{\cyrp}{\cyru}{\cyrs}{\cyrt}{\cyri}{\cyrm}{\cyrery}{\cyrh} {\cyrp}{\cyrr}{\cyra}{\cyrv}{\cyri}{\cyrl} {\cyrm}{\cyro}{\cyrd}{\cyra}{\cyrl}{\cyrsftsn}{\cyrn}{\cyro}{\cyrishrt} {\cyrs}{\cyri}{\cyrs}{\cyrt}{\cyre}{\cyrm}{\cyrery} {Grz} {\cyri} {\cyri}{\cyrn}{\cyrt}{\cyru}{\cyri}{\cyrc}{\cyri}{\cyro}{\cyrn}{\cyri}{\cyrs}{\cyrt}{\cyrs}{\cyrk}{\cyro}{\cyrishrt} {\cyrl}{\cyro}{\cyrg}{\cyri}{\cyrk}{\cyri}},
     journal = {Matemati\v{c}eskij sbornik},
     pages = {321--338},
     publisher = {mathdoc},
     volume = {170},
     number = {3},
     year = {1987},
     zbl = {0617.03007},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MS_1987__170_3_a0/}
}
TY  - JOUR
AU  - В.В. Рыбаков
TI  - Базисы допустимых правил модальной системы Grz и интуиционистской логики
JO  - Matematičeskij sbornik
PY  - 1987
SP  - 321
EP  - 338
VL  - 170
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS_1987__170_3_a0/
LA  - ru
ID  - MS_1987__170_3_a0
ER  - 
%0 Journal Article
%A В.В. Рыбаков
%T Базисы допустимых правил модальной системы Grz и интуиционистской логики
%J Matematičeskij sbornik
%D 1987
%P 321-338
%V 170
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS_1987__170_3_a0/
%G ru
%F MS_1987__170_3_a0
В.В. Рыбаков. Базисы допустимых правил модальной системы Grz и интуиционистской логики. Matematičeskij sbornik, Tome 170 (1987) no. 3, pp. 321-338. http://geodesic.mathdoc.fr/item/MS_1987__170_3_a0/