Esteva, F., Orellano, A., Flaminio, T., & Godo, L. (2020). Degree-preserving companion of Nelson logic expanded with a consistency operator. In Anais do I Workshop Brasileiro de Lógica, (pp. 41-48). Porto Alegre: SBC. doi:10.5753/wbl.2020.11457