| Processo: | 21/04883-0 |
| Modalidade de apoio: | Auxílio à Pesquisa - Jovens Pesquisadores |
| Data de Início da vigência: | 01 de julho de 2023 |
| Data de Término da vigência: | 31 de agosto de 2024 |
| Área do conhecimento: | Ciências Humanas - Filosofia - Lógica |
| Pesquisador responsável: | Aldo Figallo Orellano |
| Beneficiário: | Aldo Figallo Orellano |
| Instituição Sede: | Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil |
| Pesquisadores associados: | Carles Noguera Clofent ; Carlos Caleiro ; Guillermo Badia ; Hugo Luiz Mariano ; Itala Maria Loffredo D'Ottaviano ; Lluis Godo ; Martín Figallo ; Petr Cintula ; Umberto Rivieccio |
| Bolsa(s) vinculada(s): | 24/00683-5 - Difusão dos avanços da lógica paraconsistente e suas aplicações,
BP.JC 24/05117-8 - Métodos de Ehrenfeucht-Fraïssé em teoria de modelos de F-estruturas, BP.DD 24/00688-7 - Difusão dos avanços na área da paraconsistência e aplicações, BP.JC 23/05914-2 - Teoria paraconsistente de conjuntos, BP.JP |
| Assunto(s): | Lógica matemática Lógica algébrica Lógica paraconsistente Lógicas não clássicas |
| Palavra(s)-Chave do Pesquisador: | Estruturas de Fidel | Lógica Algébrica | Lógicas Paraconsistente de da Costa | Modelos de Fidel valorados | Teoría de Conjuntos não-clássica | TEORIA DE MODELOS não-clássica | Lógica algébrica |
Resumo
Este projeto visa desenvolver a teoria de modelos dos modelos da Teoria Paraconsistente de Conjuntos tipo ZF (TPC) baseada na lógica de Costa Cw. Recentemente, apresentamos os modelos de F-estruturas valoradas seguindo a metodologia desenvolvida para os modelos de Heyting valorados; com estes modelos provamos que os axiomas de ZF são válidos neles. A prova esta fortemente baseada na existência de modelos paraconsistentes da Lei de Leibniz, também foi discutido a dificulta de fornecer modelos algébricos da lei. Como parte deste projeto, pretendemos apresentar modelos paraconsistentes paraotras TPCs baseadas em lógicas que são extensões da clássica da literatura, tais como o caso da lógica de da Costa Cn e várias das lógicas da inconsistência formal que já contam com semânticas de F-struturas. Dentre dos objetivos principais deste projeto, estão apresentar provas de independência e fornecer modelos paraconsistentes de ZFC seguindo a metodologia desenvolvida para os modelos Booleanos valorados. (AU)
| Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio: |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |