10 citations · 13 across the 6 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018
On the free frontal implicative semilattice extension of a frontal Hilbert algebra
Ramon Jansana, Hernan Javier San Martin
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…
math.LO2018
On principal congruences in distributive lattices with a commutative monoidal operation and an implication
Ramon Jansana, Hernan Javier San Martin
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…