Esteva, Francesc, Orellano, Aldo, Flaminio, Tommaso, E Godo, Lluís. " Degree-preserving companion of Nelson logic expanded with a consistency operator" Anais do Workshop Brasileiro de Lógica (WBL) [Online], (26 agosto 2020)