Compatibly involutive residuated lattices and the Nelson identity | Publicación