In this paper we give an explicit description of the left adjoint of the forgetful functor from the algebraic category of Gödel algebras with successor to the algebraic category of bounded prelinear Hilbert algebras with ...

In this article, we introduce and study a family of compatible functions in Hilbert algebras which in the case of Heyting algebras agree with the frontal operators given by Esakia (2006, J. Appl. Non-Class. Log., 16, ...

In this paper we give an explicit description of the left adjoint of the forgetful functor from the algebraic category of Gödel algebras (i.e., prelinear Heyting algebras) to the algebraic category of bounded prelinear ...

We introduce the variety of Hilbert algebras with a modal operator , called H -algebras. The variety of H -algebras is the algebraic counterpart of the f!; g-fragment of the intuitionitic modal logic IntK . We will study ...

In this note we will investigate some particular classes of ideals in Hilbert algebras with supremum. We shall study the relation between -ideals and annihilator ideals in bounded Hilbert algebras with supremum. We shall ...

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