ROSA, Luiz. 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://pucrs.emnuvens.com.br/veritas/article/view/25532. Acesso em: 11 out. 2025.