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

Abstract

In this paper, we define a functor which is left adjoint to the forgetful functor from the category of frontal implicative semilattices to that of frontal Hilbert algebras.