Combinação categorial de sistemas lógicos

• Processo: 01/01045-0
• Modalidade de apoio: Bolsas no Exterior - Pesquisa
• Data de Início da vigência: 10 de julho de 2001
• Data de Término da vigência: 09 de março de 2002
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Marcelo Esteban Coniglio
• Beneficiário: Marcelo Esteban Coniglio
• Pesquisador Anfitrião: Amílcar dos Santos Costa Semadas
• Instituição Sede: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Instituição Anfitriã: Universidade Técnica de Lisboa, Portugal
• Assunto(s): Semântica formal Teoria das categorias
• Palavra(s)-Chave do Pesquisador: Combinacao De Logicas | Fibriliacao (Fibring) | Semantica Formal | Teoria Das Categorias

Resumo

O presente projeto de pesquisa propõe o estudo das propriedades categoriais das diversas categorias de sistemas lógicos investigadas na literatura de fibrilação (principalmente a abordagem do Logic and Computation Group de Lisboa dirigido por A. Sernadas), assim como a introdução de novas categorias de sistemas lógicos, visando à definição de uma operação de "fibrilação universal" (que denominaremos U-fibrilação). As U-fibrilações são construções universais obtidas nestas categorias, que generalizam as construções usuais de fibrilação categorial. A preservação de meta-propriedades dos sistemas envolvidos (tais como completude) serão estudadas no contexto geral. Finalmente, os resultados obtidos serão relacionados com as diversas construções de fibrilação introduzidas por D. Gabbay. (AU)