2 papers
math.LO2018
Monotonic Distributive Semilattices
Sergio A. Celani, Ma. Paula Menchón
In the study of algebras related to non-classical logics, (distributive) semilattices are always present in the background. For example, the algebraic semantic of the $\{\rightarro…
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…