%0 Journal Article %A A. A. Onoprienko %T Cardinality reduction theorem for logics ${\mathrm{QHC}}$ and ${\mathrm{QH4}}$ %J Algebra i logika %D 2022 %P 720-741 %V 61 %N 6 %I mathdoc %U http://geodesic.mathdoc.fr/item/AL_2022_61_6_a4/ %G ru %F AL_2022_61_6_a4