5 papers
Subresiduated lattice ordered commutative monoids
Cornejo J. M., San Martín H. J., Sígal V
A subresiduated lattice ordered commutative monoid (or srl-monoid for short) is a pair where is an algebra of type …
Prelinear Hilbert algebras
Jose Luis Castiglioni, Sergio A. Celani, Hernan J. San Martin
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 a…
Variations of the free implicative semilattice extension of a Hilbert algebra
José L. Castiglioni, Hernán J. San Martín
In [{\it On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--207], Celani and Jansana give an explicit description…
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…
On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices
Ramon Jansana, Hernán Javier San Martín
Hemi-implicative semilattices (lattices), originally defined under the name of weak implicative semilattices (lattices), were introduced by the second author of the present paper.…