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

• Processo: 22/03862-2
• Modalidade de apoio: Auxílio à Pesquisa - Pesquisador Visitante - Internacional
• Data de Início da vigência: 16 de janeiro de 2023
• Data de Término da vigência: 15 de julho de 2023
• Área do conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Marcelo Esteban Coniglio
• Beneficiário: Marcelo Esteban Coniglio
• Pesquisador visitante: Martin Figallo
• Instituição do Pesquisador Visitante: Universidad Nacional del Sur (UNS), Argentina
• Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Palavra(s)-Chave do Pesquisador: cut elimination | Degree-preserving consequence relations | Logics of Formal Inconsistency | Non-classical logic | non-deterministic matrices | Sequent calculus | Teoria da Prova

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)

Publicações científicas

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

FIGALLO, A. V.; FIGALLO-ORELLANO, A.; FIGALLO, M.. Super-Lukasiewicz logics expanded by ⠂. FUZZY SETS AND SYSTEMS, v. 465, p. 26-pg., 2023-05-25. (21/04883-0, 22/03862-2)