Variations of the free implicative semilattice extension of a Hilbert algebra

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 obta...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Castiglioni, José Luis, San Martín, Hernán Javier
Formato: Articulo Preprint
Lenguaje:Inglés
Publicado: 2019
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/99526
https://ri.conicet.gov.ar/11336/94687
http://link.springer.com/10.1007/s00500-018-3426-0
https://arxiv.org/abs/1807.02423
Aporte de:
id I19-R120-10915-99526
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Matemática
Free algebras
Hilbert algebras
Implicative semilattice
spellingShingle Matemática
Free algebras
Hilbert algebras
Implicative semilattice
Castiglioni, José Luis
San Martín, Hernán Javier
Variations of the free implicative semilattice extension of a Hilbert algebra
topic_facet Matemática
Free algebras
Hilbert algebras
Implicative semilattice
description 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.
format Articulo
Preprint
author Castiglioni, José Luis
San Martín, Hernán Javier
author_facet Castiglioni, José Luis
San Martín, Hernán Javier
author_sort Castiglioni, José Luis
title Variations of the free implicative semilattice extension of a Hilbert algebra
title_short Variations of the free implicative semilattice extension of a Hilbert algebra
title_full Variations of the free implicative semilattice extension of a Hilbert algebra
title_fullStr Variations of the free implicative semilattice extension of a Hilbert algebra
title_full_unstemmed Variations of the free implicative semilattice extension of a Hilbert algebra
title_sort variations of the free implicative semilattice extension of a hilbert algebra
publishDate 2019
url http://sedici.unlp.edu.ar/handle/10915/99526
https://ri.conicet.gov.ar/11336/94687
http://link.springer.com/10.1007/s00500-018-3426-0
https://arxiv.org/abs/1807.02423
work_keys_str_mv AT castiglionijoseluis variationsofthefreeimplicativesemilatticeextensionofahilbertalgebra
AT sanmartinhernanjavier variationsofthefreeimplicativesemilatticeextensionofahilbertalgebra
bdutipo_str Repositorios
_version_ 1764820493430423555