Hereditarily Structurally Complete Superintuitionistic Logics and Primitive Varieties of Heyting Algebras

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.