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...
Guardado en:
Autores principales: | , |
---|---|
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 |