Rosa, L. Tipos Incondicionais De Inferência E O Conhecimento lógico. Veritas 2016, 61, 350-362.