TY  - JOUR
AU  - A. A. Onoprienko
TI  - Cardinality reduction theorem for logics ${\mathrm{QHC}}$ and ${\mathrm{QH4}}$
JO  - Algebra i logika
PY  - 2022
SP  - 720
EP  - 741
VL  - 61
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2022_61_6_a4/
LA  - ru
ID  - AL_2022_61_6_a4
ER  -