ROSA, L. Tipos incondicionais de inferência e o conhecimento lógico. Veritas (Porto Alegre), [S. l.], v. 61, n. 2, p. 350–362, 2016. DOI: 10.15448/1984-6746.2016.2.25532. Disponível em: https://revistaseletronicas.pucrs.br/index.php/veritas/article/view/25532. Acesso em: 19 maio. 2024.