@inproceedings{Esteva2021,   title={Some Categorical Equivalences for Nelson Algebras with Consistency Operators},   author={Francesc Esteva and Aldo Figallo-Orellano and Tommaso Flaminio and Llu\'is Godo},   year={2021},   booktitle={Joint Proceedings of the 19th World Congress of the International Fuzzy Systems Association (IFSA), the 12th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), and the 11th International Summer School on Aggregation Operators (AGOP)}, abstract = {The aim of this paper is to present categorical equivalences involving Nelson algebras with a consistency operator. These  algebraic structures are the algebraic semantics of a paraconsistent logic, actually a logic of formal inconsistency, based on Nelson logic, also known as constructive logic with strong negation. In particular, we will extend a well-known relationship between Nelson algebras/lattices and Heyting algebras with a boolean filter to  these expanded structures in terms of categorical equivalences.},   pages={420-426},   issn={2589-6644},   isbn={978-94-6239-423-0},   url={https://doi.org/10.2991/asum.k.210827.056},   doi={https://doi.org/10.2991/asum.k.210827.056},   publisher={Atlantis Press} }