Jose Carlos cifuentes vasquez | Univ federal parana/ufpr - Brasil
Xavier Caicedo-Ferrer | Universidad de los Andes/Venezuela - Venezuela
A nocao de profinito e suas aplicacoes em algebra, logica e geometria.
Processo: | 00/11813-2 |
Modalidade de apoio: | Bolsas no Brasil - Pós-Doutorado |
Data de Início da vigência: | 01 de janeiro de 2001 |
Data de Término da vigência: | 31 de dezembro de 2002 |
Área de conhecimento: | Ciências Humanas - Filosofia - Lógica |
Pesquisador responsável: | Walter Alexandre Carnielli |
Beneficiário: | Andreas Bernhard Michael Brunner |
Instituição Sede: | Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil |
Assunto(s): | Teoria dos modelos Feixes |
Palavra(s)-Chave do Pesquisador: | Feixes | Teoria Dos Modelos |
Resumo O presente projeto de pesquisa consiste em investigar distintas abordagens para a questão de prover novas semânticas para Lógicas Não-Clássicas, dentro do qual em particular nos interessará estudar a possibilidade de obter boas semânticas para as Lógicas Paraconsistentes, no espírito das semânticas de traduções possíveis. Considerando que a semântica de Kripke pode ser relacionada com a Lógica Paraconsistente estamos interessados em generalizar esse tipo de abordagem semântica segundo o conceito de feixes. Mais precisamente, queremos examinar a possibilidade de introduzir um feixe de relações de forçamento. Paralelamente, pretendemos desenvolver a Teoria dos Modelos em feixes ou co-feixes numa maneira algébrica. Para tanto, tomamos como ponto de partida uma álgebra de Brouwer, Br. Usando a álgebra de Brouwer Br, que é a dual de uma álgebra de Heyting, propomos desenvolver os conceitos de Br-conjuntos, de pré-feixes e feixes sobre Br, e de pré-cofeixes e cofeixes sobre Br. (AU) | |
Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa: | |
Mais itensMenos itens | |
TITULO | |
Matéria(s) publicada(s) em Outras Mídias ( ): | |
Mais itensMenos itens | |
VEICULO: TITULO (DATA) | |
VEICULO: TITULO (DATA) | |