Métodos de Ehrenfeucht-Fraïssé em teoria de modelos de F-estruturas

• Processo: 24/05117-8
• Modalidade de apoio: Bolsas no Brasil - Doutorado Direto
• Data de Início da vigência: 01 de maio de 2024
• Data de Término da vigência: 31 de agosto de 2024
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Aldo Figallo Orellano
• Beneficiário: Pedro Lucas Santos dos Reis
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Vinculado ao auxílio: 21/04883-0 - Teoria paraconsistente de conjuntos, AP.JP
• Assunto(s): Teoria dos modelos Lógicas não clássicas Lógica paraconsistente
• Palavra(s)-Chave do Pesquisador: Lógicas não-algerbizaveis | Lógicas Paraconsistentes | Semânticas de Fidel | Sistemas de Back-and-forth | TEORIA DE MODELOS não-clássica | Teoria de Modelos

Resumo

O presente projeto visa desenvolver a Teoria de Modelos para uma família de lógicas que não são algebrizáveis pelo método geral de Blok-Pigozzi e são simultaneamente paraconsistentes. Mas permitem semânticas por meio de estruturas de Fidel. Estas semânticas foram apresentadas pela primeira vez no começo dos anos 70 para as lógicas de da Costa; esse trabalho foi recentemente continuado por Odintsov (2003), Carnielli e Coniglio (2016), e Figallo-Orellano (2019, 2021 e 2023). A proposta é uma das linhas de pesquisa centrales do projeto Jovem Pesquisador da FAPESP com processo 2021/04883-0 onde o responsável é o orientador proposto. (AU)