TY - JOUR AU - D. M. Anishchenko AU - S. P. Odintsov TI - On extensions of minimal logic with linearity axiom JO - Sibirskie èlektronnye matematičeskie izvestiâ PY - 2024 SP - 852 EP - 865 VL - 21 IS - 2 UR - http://geodesic.mathdoc.fr/item/SEMR_2024_21_2_a6/ LA - ru ID - SEMR_2024_21_2_a6 ER -