On some classes of Heyting algebras with successor that have the amalgamation property

Abstract

In this paper we shall prove that certain subvarieties of the variety of Salgebras (Heyting algebras with successor) has amalgamation. This result together with an appropriate version of Theorem 1 of [L. L. Maksimova, Craig’s theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras, Algebra i Logika, 16(6):643-681, 1977] allows us to show interpolation in the calculus IPC S (n), associated with these varieties. We use that every algebra in any of the varieties of S-algebras studied in this work has a canonical extension, to show completeness of the calculus IPC S (n) with respect to appropriate Kripke models.