A Categorial Equivalence for semi-Nelson algebras

Autor: Cornejo, Juan Manuel, Gallardo, Andrés, Viglizzo, Ignacio
Rok vydání: 2020
Předmět:
Druh dokumentu: Working Paper
DOI: 10.1007/s00500-021-06198-y
Popis: We present a category equivalent to that of semi-Nelson algebras. The objects in this category are pairs consisting of a semi-Heyting algebra and one of its filters. The filters must contain all the dense elements of the semi-Heyting algebra and satisfy an additional technical condition. We also show that in the case of dually hemimorphic semi-Nelson algebras, the filters are not necessary and the category is equivalent to that of dually hemimorphic semi-Heyting algebras.
Databáze: arXiv