Uma (nova) abordagem baseada na teoria de hiper reticulados aplicada a sistemas lógicos e probabilidades

• Processo: 24/18577-7
• Modalidade de apoio: Bolsas no Brasil - Pós-Doutorado
• Data de Início da vigência: 01 de dezembro de 2024
• Data de Término da vigência: 30 de novembro de 2026
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Marcelo Esteban Coniglio
• Beneficiário: Kaique Matias de Andrade Roberto
• Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Vinculado ao auxílio: 20/16353-3 - Racionalidade, lógica e probabilidade: RatioLog, AP.TEM
• Assunto(s): Lógicas não clássicas
• Palavra(s)-Chave do Pesquisador: algebrização de lógicas | Hiper reticulados | Lógicas não-clássicas | Lógicas Paraconsistentes | Semânticas não-determinísticas | Teoria de Categorias | Lógicas não-clássicas

Resumo

Hiper estruturas algébricas são generalizações das estruturas algébricas usuais, obtidas a partir da generalização do conceito de operações algébricas. Em particular, Sette e Morgado apresentaram uma definição generalizada e bastante intuitiva de hiper reticulado. Existem inúmeras aplicações das hiper estruturas, como semântica para sistemas lógicos, autômatos, criptografia, inteligência artificial, probabilidades, entre outras. Assim, a principal proposta deste projeto é desenvolver e aplicar, em sistemas lógicos e probabilidades, os resultados obtidos em uma teoria de multi algebras, baseada no estudo da definição de reticuloide (hiper reticulado) apresentada por Morgado e estudada por Sette.