Prefer a chat interface with context about you and your work?
A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras
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.