Degree-preserving companion of Nelson logic expanded with a consistency operator | Publicación