An independent equational basis for the variety of reflexive Nelson algebras

In this manuscript, we provide an independent equational basis for the variety of reflexive Nelson algebras, a generalization of the variety of SNA-algebras.

The proof of this result relies on a substantial number of technical arguments and computational examples.

The result complements a broader study of reflexive Nelson algebras by showing that the variety admits an independent equational axiomatization.