On the free frontal implicative semilattice extension of a frontal\n Hilbert algebra

2018/11/08 by Ramón Jansana, Jansana, Ramon, Hernán Javier San Martín +1
Computer Science · Decision Sciences · Mathematics · #Advanced Algebra and Logic #Advanced Topics in Algebra #FOS: Mathematics #Fuzzy and Soft Set Theory #Logic (math.LO)

paper · pdf · doi:10.48550/arxiv.1811.03698

openalex publication_date 2018/11/08 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

In this paper we define a functor from the algebraic category of frontal\nHilbert algebras to the algebraic category of frontal implicative semilattices\nwhich is left adjoint to the forgetful functor from the category of frontal\nimplicative semilattices to that of frontal Hilbert algebras.\n

Related

• On the free Heyting algebra extension of a Hilbert algebra
• Variations of the free implicative semilattice extension of a Hilbert algebra
• Prelinear Hilbert algebras
• A generic construction of free algebras in varieties of Hilbert algebras and Brouwerian semilattices
• Good Hilbert functors