3 papers
math.LO2026
Hemi-Nelson algebras
Noemí Lubomirsky, Paula Menchón, Hernán Javier San Martín
The aim of this paper is to generalize the link between Heyting algebras and Nelson algebras, established independently by Fidel and Vakarelov at the end of the 1970s, in the frame…
math.LO2024
Subresiduated Nelson Algebras
Noemí Lubomirsky, Paula Menchón, Hernán San Martín
In this paper we generalize the well known relation between Heyting algebras and Nelson algebras in the framework of subresiduated lattices. In order to make it possible, we introd…
math.LO2017
On the free Heyting algebra extension of a Hilbert algebra
J. L. Castiglioni, H. J. San Martín
In this paper we provided an explicit construction for the left adjoint of the forgetful functor from the category of Heyting algebras to that of Hilbert algebras. This functor fac…