Geodesic
Об аксиоматизации конечнозначных логических исчислений
Matematičeskij sbornik, Tome 165 (1984) no. 4, pp. 477-495

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

Mots-clés : аксиоматизация многозначных логик, axiomatization of many-valued logics, axiomatization of many-valued logics 
@article{MS_1984__165_4_a1,
     author = {{\CYRO}.{\CYRM}. {\CYRA}{\cyrn}{\cyrsh}{\cyra}{\cyrk}{\cyro}{\cyrv} and {\CYRS}.{\CYRV}. {\CYRR}{\cyrery}{\cyrch}{\cyrk}{\cyro}{\cyrv}},
     title = {{\CYRO}{\cyrb} {\cyra}{\cyrk}{\cyrs}{\cyri}{\cyro}{\cyrm}{\cyra}{\cyrt}{\cyri}{\cyrz}{\cyra}{\cyrc}{\cyri}{\cyri} {\cyrk}{\cyro}{\cyrn}{\cyre}{\cyrch}{\cyrn}{\cyro}{\cyrz}{\cyrn}{\cyra}{\cyrch}{\cyrn}{\cyrery}{\cyrh} {\cyrl}{\cyro}{\cyrg}{\cyri}{\cyrch}{\cyre}{\cyrs}{\cyrk}{\cyri}{\cyrh} {\cyri}{\cyrs}{\cyrch}{\cyri}{\cyrs}{\cyrl}{\cyre}{\cyrn}{\cyri}{\cyrishrt}},
     journal = {Matemati\v{c}eskij sbornik},
     pages = {477--495},
     publisher = {mathdoc},
     volume = {165},
     number = {4},
     year = {1984},
     zbl = {0551.03015},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MS_1984__165_4_a1/}
}
TY  - JOUR
AU  - О.М. Аншаков
AU  - С.В. Рычков
TI  - Об аксиоматизации конечнозначных логических исчислений
JO  - Matematičeskij sbornik
PY  - 1984
SP  - 477
EP  - 495
VL  - 165
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS_1984__165_4_a1/
LA  - ru
ID  - MS_1984__165_4_a1
ER  - 
%0 Journal Article
%A О.М. Аншаков
%A С.В. Рычков
%T Об аксиоматизации конечнозначных логических исчислений
%J Matematičeskij sbornik
%D 1984
%P 477-495
%V 165
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS_1984__165_4_a1/
%G ru
%F MS_1984__165_4_a1
О.М. Аншаков; С.В. Рычков. Об аксиоматизации конечнозначных логических исчислений. Matematičeskij sbornik, Tome 165 (1984) no. 4, pp. 477-495. http://geodesic.mathdoc.fr/item/MS_1984__165_4_a1/