Métodos de Teoria da Prova para LFIs e Outras Lógicas Não-clássicas: Decidibilidade e Aplicações

Resumo

O objetivo desta proposta é investigar e estender métodos recentemente desenvolvidos de teoria da prova para o amplo contexto das Lógicas da Inconsistência Formal (LFIs) e para outras lógicas não-clássicas. O pesquisador visitante pretende combinar seu conhecimento relativo aos métodos acima mencionados, com a experiência do professor responsável na área de LFIs procurando respostas para diversas questões em teoria da prova relativas a LFIs. Espera-se, também, fortalecer e aprofundar a relação de cooperação acadêmica já existente entre a tradição lógica argentina (a escola lógica de Monteiro) e a mundialmente conhecida escola lógica brasileira, em particular a escola lógica de Campinas. Além destas atividades, a visita vai permitir discutir alguns trabalhos de pesquisa conjunta que já estão sendo desenvolvidos, assim como a orientação conjunta de um estudante de doutorado da Argentina que está sendo realizada. (AU)