Uma teoria algébrica de conectivo lógico

• Processo: 97/04951-5
• Modalidade de apoio: Bolsas no Exterior - Pesquisa
• Data de Início da vigência: 01 de setembro de 1997
• Data de Término da vigência: 31 de julho de 1998
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Francisco Miraglia Neto
• Beneficiário: Francisco Miraglia Neto
• Pesquisador Anfitrião: Edgar G. K. López-Escobar
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Instituição Anfitriã: University of Maryland, College Park, Estados Unidos
• Assunto(s): Feixes Reticulados
• Palavra(s)-Chave do Pesquisador: Conectivo Logico | Feixes | Reticulado Distribuido

Resumo

Desenvolver uma teoria algébrica de conectivo lógico, no contexto de categorias de reticulados distributivos. (AU)