TY - RPRT TI - Hereditarily Structurally Complete Superintuitionistic Logics and Primitive Varieties of Heyting Algebras AU - Alex Citkin PY - 2025 UR - https://arxiv.org/abs/2512.05633 ID - 2512.05633 ER -