Busca avançada
Ano de início
Entree

Uma teoria algébrica de conectivo lógico

Processo: 97/04951-5
Linha de fomento:Bolsas no Exterior - Pesquisa
Vigência (Início): 01 de setembro de 1997
Vigência (Término): 31 de julho de 1998
Área do conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Francisco Miraglia Neto
Beneficiário:Francisco Miraglia Neto
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
Local de pesquisa: University of Maryland, College Park, Estados Unidos  
Assunto(s):Feixes   Reticulados

Resumo

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

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)