Geodesic
О допустимых правилах интуиционистской логики высказываний
Matematičeskij sbornik, Tome 144 (1977) no. 2, pp. 314-323.

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

Mots-clés : модусные правила вывода, интуиционистское исчисление высказываний, бесконечная независимая система допустимых модусных правил, конечные геделевы псевдобулевы алгебры 
@article{MS_1977__144_2_a10,
     author = {{\CYRA}.{\CYRI}. {\CYRC}{\cyri}{\cyrt}{\cyrk}{\cyri}{\cyrn}},
     title = {{\CYRO} {\cyrd}{\cyro}{\cyrp}{\cyru}{\cyrs}{\cyrt}{\cyri}{\cyrm}{\cyrery}{\cyrh} {\cyrp}{\cyrr}{\cyra}{\cyrv}{\cyri}{\cyrl}{\cyra}{\cyrh} {\cyri}{\cyrn}{\cyrt}{\cyru}{\cyri}{\cyrc}{\cyri}{\cyro}{\cyrn}{\cyri}{\cyrs}{\cyrt}{\cyrs}{\cyrk}{\cyro}{\cyrishrt} {\cyrl}{\cyro}{\cyrg}{\cyri}{\cyrk}{\cyri} {\cyrv}{\cyrery}{\cyrs}{\cyrk}{\cyra}{\cyrz}{\cyrery}{\cyrv}{\cyra}{\cyrn}{\cyri}{\cyrishrt}},
     journal = {Matemati\v{c}eskij sbornik},
     pages = {314--323},
     publisher = {mathdoc},
     volume = {144},
     number = {2},
     year = {1977},
     zbl = {0355.02016},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MS_1977__144_2_a10/}
}
TY  - JOUR
AU  - А.И. Циткин
TI  - О допустимых правилах интуиционистской логики высказываний
JO  - Matematičeskij sbornik
PY  - 1977
SP  - 314
EP  - 323
VL  - 144
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS_1977__144_2_a10/
LA  - ru
ID  - MS_1977__144_2_a10
ER  - 
%0 Journal Article
%A А.И. Циткин
%T О допустимых правилах интуиционистской логики высказываний
%J Matematičeskij sbornik
%D 1977
%P 314-323
%V 144
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS_1977__144_2_a10/
%G ru
%F MS_1977__144_2_a10
А.И. Циткин. О допустимых правилах интуиционистской логики высказываний. Matematičeskij sbornik, Tome 144 (1977) no. 2, pp. 314-323. http://geodesic.mathdoc.fr/item/MS_1977__144_2_a10/