A Categorial Equivalence for semi-Nelson algebras
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2020
- DOI:
- 10.48550/arXiv.2007.14459
- arXiv:
- arXiv:2007.14459
- Bibcode:
- 2020arXiv200714459C
- Keywords:
-
- Mathematics - Logic;
- 03G25
- E-Print:
- doi:10.1007/s00500-021-06198-y