San Martin, Hernan; Lubomirsky, Noemi; Menchon, Maria Paula
(Cornell University, 2024-06-21)
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 introduce the variety of subresiduated Nelson ...