A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras

Abstract

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.