Showing 2018Show all
3 papers · 1 filter
math.LO2018
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…
math.LO2018
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…
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…