Geodesic
О полноте систем формул в двойственностно цепных логиках
Matematičeskie issledovaniâ, Tome 98 (1987), pp. 71-93

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

Mots-clés : Dual intuitionistic logic, completeness, finite matrices 
@article{MI_1987__98_189950,
     author = {{\CYRM}.{\CYRF}. {\CYRR}{\cyra}{\cyrc}{\cyra}},
     title = {{\CYRO} {\cyrp}{\cyro}{\cyrl}{\cyrn}{\cyro}{\cyrt}{\cyre} {\cyrs}{\cyri}{\cyrs}{\cyrt}{\cyre}{\cyrm} {\cyrf}{\cyro}{\cyrr}{\cyrm}{\cyru}{\cyrl} {\cyrv} {\cyrd}{\cyrv}{\cyro}{\cyrishrt}{\cyrs}{\cyrt}{\cyrv}{\cyre}{\cyrn}{\cyrn}{\cyro}{\cyrs}{\cyrt}{\cyrn}{\cyro} {\cyrc}{\cyre}{\cyrp}{\cyrn}{\cyrery}{\cyrh} {\cyrl}{\cyro}{\cyrg}{\cyri}{\cyrk}{\cyra}{\cyrh}},
     journal = {Matemati\v{c}eskie issledovani\^a},
     pages = {71--93},
     publisher = {mathdoc},
     volume = {98},
     year = {1987},
     zbl = {0639.03021},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MI_1987__98_189950/}
}
TY  - JOUR
AU  - М.Ф. Раца
TI  - О полноте систем формул в двойственностно цепных логиках
JO  - Matematičeskie issledovaniâ
PY  - 1987
SP  - 71
EP  - 93
VL  - 98
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MI_1987__98_189950/
LA  - ru
ID  - MI_1987__98_189950
ER  - 
%0 Journal Article
%A М.Ф. Раца
%T О полноте систем формул в двойственностно цепных логиках
%J Matematičeskie issledovaniâ
%D 1987
%P 71-93
%V 98
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MI_1987__98_189950/
%G ru
%F MI_1987__98_189950
М.Ф. Раца. О полноте систем формул в двойственностно цепных логиках. Matematičeskie issledovaniâ, Tome 98 (1987), pp. 71-93. http://geodesic.mathdoc.fr/item/MI_1987__98_189950/