Busca avançada
Ano de início
Entree

Analytical tableaux for da costa's hierarchy of paraconsistent logics CN, 1<_n<w

Processo: 05/53146-6
Modalidade de apoio:Auxílio à Pesquisa - Reunião - Brasil
Data de Início da vigência: 19 de julho de 2005
Data de Término da vigência: 22 de julho de 2005
Área do conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Itala Maria Loffredo D'Ottaviano
Beneficiário:Itala Maria Loffredo D'Ottaviano
Instituição Sede: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Assunto(s):Lógicas não clássicas  Lógica formal  Lógica paraconsistente 
Palavra(s)-Chave do Pesquisador:Logica | Logicas Nao Classicas | Logicas Paraconsistentes | Regra Do Corte | Sistemas Formais | Tableaux Analiticos
Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)