Hereditarily Structurally Complete Superintuitionistic Logics and Primitive Varieties of Heyting Algebras
arXiv:2512.05633
Abstract
We give an algebraic proof of the criterion for hereditary structural completeness of an intermediate logic, or, equivalently, of the primitiveness of a variety of Heyting algebras.