| dc.creator | Castiglioni, José Luis | |
| dc.creator | San Martín, Hernán Javier | |
| dc.date | 2019-07 | |
| dc.date | 2020-06-30T15:37:18Z | |
| dc.date.accessioned | 2023-07-14T19:58:35Z | |
| dc.date.available | 2023-07-14T19:58:35Z | |
| dc.identifier | http://sedici.unlp.edu.ar/handle/10915/99526 | |
| dc.identifier | https://ri.conicet.gov.ar/11336/94687 | |
| dc.identifier | http://link.springer.com/10.1007/s00500-018-3426-0 | |
| dc.identifier | https://arxiv.org/abs/1807.02423 | |
| dc.identifier | issn:1433-7479 | |
| dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/7437423 | |
| dc.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. | |
| dc.description | Facultad de Ciencias Exactas | |
| dc.format | application/pdf | |
| dc.format | 4633–4641 | |
| dc.language | en | |
| dc.rights | http://creativecommons.org/licenses/by-nc-sa/4.0/ | |
| dc.rights | Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) | |
| dc.subject | Matemática | |
| dc.subject | Free algebras | |
| dc.subject | Hilbert algebras | |
| dc.subject | Implicative semilattice | |
| dc.title | Variations of the free implicative semilattice extension of a Hilbert algebra | |
| dc.type | Articulo | |
| dc.type | Preprint | |
