On some Classes of Heyting Algebras with Successor that have the Amalgamation Property
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-...
Guardado en:
Autores principales: | Castiglioni, José Luis, San Martín, Hernán Javier |
---|---|
Formato: | Articulo |
Lenguaje: | Inglés |
Publicado: |
2012
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/146211 |
Aporte de: |
Ejemplares similares
-
On Some Compatible Operations on Heyting Algebras
por: Ertola Biraben, Rodolfo Cristian, et al.
Publicado: (2011) -
The finite model property for the variety of Heyting algebras with successor
por: Castiglioni, José Luis, et al.
Publicado: (2012) -
Frontal operators in weak Heyting algebras
por: Celani, Sergio A., et al.
Publicado: (2012) -
Subvariedades de álgebras de semi-Heyting
por: Cornejo, Juan Manuel
Publicado: (2011) -
Compatible operations in some subvarieties of the variety of weak Heyting algebras
por: San Martín, Hernán Javier
Publicado: (2013)