Artículo
Variations of the free implicative semilattice extension of a Hilbert algebra
Fecha de publicación:
07/2019
Editorial:
Springer Verlag Berlín
Revista:
Soft Computing
ISSN:
1432-7643
e-ISSN:
1433-7479
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
Resumen
Celani and Jansana (Math Log Q 58(3):188–207, 2012) give an explicit description of the free implicative semilattice extension of a Hilbert algebra. In this paper, we give an alternative path conducing to this construction. Furthermore, following our procedure, we show that an adjunction can be obtained between the algebraic categories of Hilbert algebras with supremum and that of generalized Heyting algebras. Finally, in the last section, we describe a functor from the algebraic category of Hilbert algebras to that of generalized Heyting algebras, of possible independent interest.
Palabras clave:
FREE ALGEBRAS
,
HILBERT ALGEBRAS
,
IMPLICATIVE SEMILATTICE
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(CCT - LA PLATA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - LA PLATA
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - LA PLATA
Citación
Castiglioni, José Luis; San Martín, Hernán Javier; Variations of the free implicative semilattice extension of a Hilbert algebra; Springer Verlag Berlín; Soft Computing; 23; 13; 7-2019; 4633–4641
Compartir
Altmétricas