A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras
Juan M. Cornejo, Hernán Javier San Martín · Logic Journal of IGPL · 2018
Motivated by a construction due to R. Cignoli that relates Heyting algebras and centered Nelson algebras, in this paper we prove that there exists an equivalence between the category of semi-Heyting algebras and the category of centered semi-Nelson algebras.