Geodesic
Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления
Matematičeskij sbornik, Tome 173 (1986) no. 3, pp. 403-412

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

Mots-clés : proof-intuitionistic calculus, modal propositional calculus, separation property, pseudoboolean algebra 
@article{MS_1986__173_3_a5,
     author = {{\CYRA}.{\CYRYU}. {\CYRM}{\cyru}{\cyrr}{\cyra}{\cyrv}{\cyri}{\cyrc}{\cyrk}{\cyri}{\cyrishrt}},
     title = {{\CYRA}{\cyrl}{\cyrg}{\cyre}{\cyrb}{\cyrr}{\cyra}{\cyri}{\cyrch}{\cyre}{\cyrs}{\cyrk}{\cyro}{\cyre} {\cyrd}{\cyro}{\cyrk}{\cyra}{\cyrz}{\cyra}{\cyrt}{\cyre}{\cyrl}{\cyrsftsn}{\cyrs}{\cyrt}{\cyrv}{\cyro} {\cyrs}{\cyre}{\cyrp}{\cyra}{\cyrr}{\cyra}{\cyrc}{\cyri}{\cyro}{\cyrn}{\cyrn}{\cyro}{\cyrg}{\cyro} {\cyrs}{\cyrv}{\cyro}{\cyrishrt}{\cyrs}{\cyrt}{\cyrv}{\cyra} {\cyrd}{\cyrl}{\cyrya} {\cyrd}{\cyro}{\cyrk}{\cyra}{\cyrz}{\cyru}{\cyre}{\cyrm}{\cyro}{\cyrs}{\cyrt}{\cyrn}{\cyro}-{\cyri}{\cyrn}{\cyrt}{\cyru}{\cyri}{\cyrc}{\cyri}{\cyro}{\cyrn}{\cyri}{\cyrs}{\cyrt}{\cyrs}{\cyrk}{\cyro}{\cyrg}{\cyro} {\cyri}{\cyrs}{\cyrch}{\cyri}{\cyrs}{\cyrl}{\cyre}{\cyrn}{\cyri}{\cyrya}},
     journal = {Matemati\v{c}eskij sbornik},
     pages = {403--412},
     publisher = {mathdoc},
     volume = {173},
     number = {3},
     year = {1986},
     zbl = {0621.03010},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MS_1986__173_3_a5/}
}
TY  - JOUR
AU  - А.Ю. Муравицкий
TI  - Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления
JO  - Matematičeskij sbornik
PY  - 1986
SP  - 403
EP  - 412
VL  - 173
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS_1986__173_3_a5/
LA  - ru
ID  - MS_1986__173_3_a5
ER  - 
%0 Journal Article
%A А.Ю. Муравицкий
%T Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления
%J Matematičeskij sbornik
%D 1986
%P 403-412
%V 173
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS_1986__173_3_a5/
%G ru
%F MS_1986__173_3_a5
А.Ю. Муравицкий. Алгебраическое доказательство сепарационного свойства для доказуемостно-интуиционистского исчисления. Matematičeskij sbornik, Tome 173 (1986) no. 3, pp. 403-412. http://geodesic.mathdoc.fr/item/MS_1986__173_3_a5/