publicações selecionadas Sobre as lógicas linear, intuicionista e clássica e suas especificações Lógica Matemática. Estudo e aplicações das lógicas linear, intuicionista e clássica