Decidability of the Projective Beth Property in Varieties of Heyting Algebras

Previously, we proved that there are only finitely many varieties of Heyting algebras possessing the projective Beth property and gave an exhaustive list of these. The projective Beth property is equivalent to strong epimorphisms surjectivity (SES). Here, we prove that the projective Beth property and SES are base-decidable on a class of varieties of Heyting algebras.