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

Cornejo, JM; Martin, HJS

Cornejo, JM (reprint author), Univ Nacl Sur, Dept Matemat, Av Leandro N Alem 1253 2 Piso, RA-8000 Bahia Blanca, Buenos Aires, Argentina.; Cornejo, JM (reprint author), Consejo Nacl Invest Cient & Tecn, Av Leandro N Alem 1253 2 Piso, RA-8000 Bahia Blanca,

LOGIC JOURNAL OF THE IGPL, 2018; 26 (4): 408

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 ......

Full Text Link