arXiv subjects

Hernan Javier San Martin

Publications and source records attributed to Hernan Javier San Martin.

2 recordsLinked to original sources

arXiv2018

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

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

math.LO↗

arXiv2018

On principal congruences in distributive lattices with a commutative monoidal operation and an implication

In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in this variety. We apply this description in order to study compatible functions.

math.LO↗