id: 00056776
dt: j
an: 00056776
au: Rychkov, S.V.
ti: On the completeness theorem for many-valued structures.
so: Russ. Math. Surv. 46, No.6, 227-228 (1991); translation from Usp. Mat. Nauk
    46, No.6, (282) 205-206 (1991).
py: 1991
pu: Turpion, Ltd., London; IOP Publishing, Bristol
la: EN
cc: 
ut: effective approach; completeness theorem for multi-valued logical calculi
ci: Zbl 0551.03015
li: doi:10.1070/RM1991v046n06ABEH002867
ab: An effective approach is outlined to proving the completeness theorem for
    multi-valued logical calculi ${\cal L}\sb n$ described earlier by {\it
    O. M. Anshakov} and the author [Mat. Sb., Nov. Ser. 123, No. 4, 477-495
    (1984; Zbl 0551.03015)]. The author stresses that his approach is
    oriented towards computerized theorem proving.
rv: Jānis Cīrulis (Riga)