Rosa, L. 2016. Tipos incondicionais de inferência e o conhecimento lógico. Veritas (Porto Alegre). 61, 2 (dez. 2016), 350–362. DOI:https://doi.org/10.15448/1984-6746.2016.2.25532.