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