TY - JOUR AU - O. M. Anshakov AU - S. V. Rychkov TI - On the axiomatization of finite-valued logical calculi JO - Sbornik. Mathematics PY - 1985 SP - 473 EP - 491 VL - 51 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/SM_1985_51_2_a9/ LA - en ID - SM_1985_51_2_a9 ER -