On some classes of Heyting algebras with successor that have the amalgamation property
extensions of intuitionistic propositional calculus
scientific article; zbMATH DE number 6136996
scientific article