Francesc Esteva, Aldo Orellano, Tommaso Flaminio, and Lluís Godo. 2020.
Degree-preserving companion of Nelson logic expanded with a consistency operator. In Anais do I Workshop Brasileiro de Lógica, agosto 26, 2020, Evento Online, Brasil. SBC, Porto Alegre, Brasil, 41-48. DOI: https://doi.org/10.5753/wbl.2020.11457.