Buscar
Mostrando ítems 1-2 de 2
On some classes of Heyting algebras with successor that have the amalgamation property
(Springer, 2012-11)
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, ...