UFRN ›
SIGAA - Sistema Integrado de Gestão de Atividades Acadêmicas
Natal,
01 de Julho de
2026
angela maria paiva cruz
- DEPARTAMENTO DE PESSOAL PENSIONISTA CIVIS
Projetos de Pesquisa
| Projeto de Pesquisa | Área de Conhecimento | |||
|---|---|---|---|---|
| 2008 | ||||
| PVC764-2008 | LÓGICAS SEM NEGAÇÃO: RELAÇÕES ENTRE NEGAÇÃO E IRRELEVÂNCIA | Lógica | ||
| PVC783-2008 | O CONSTRUTIVISMO SOCIAL NA FILOSOFIA DA CIÊNCIA CONTEMPORÂNEA | Epistemologia | ||
| 2007 | ||||
| PVC219-2007 | ASPECTOS LÓGICOS E COGNITIVOS NA ELABORAÇÃO DA TEORIA UNIFICANTE DE ÁREA | Lógica | ||
| PVC220-2007 | ASPECTOS DE LÓGICA DEÔNTICA PARA O DISCURSO NORMATIVO | Lógica | ||
| 2006 | ||||
| PVC219-2006 | ASPECTOS LÓGICOS E COGNITIVOS NA ELABORAÇÃO DA TEORIA UNIFICANTE DE ÁREA | Lógica | ||
| PVC220-2006 | ASPECTOS DE LÓGICA DEÔNTICA PARA O DISCURSO NORMATIVO | Lógica | ||
| 2005 | ||||
| PVC814-2005 | Representação do Conhecimento: aspectos lógico-formais e mecanismos de criatividade | Epistemologia | ||
| PVC847-2005 | Modelagem Lógica de Discurso Normativo | Lógica | ||
| 2004 | ||||
| PVC814-2004 | Representação do Conhecimento: aspectos lógico-formais e mecanismos de criatividade | Epistemologia | ||
| PVC847-2004 | Modelagem Lógica de Discurso Normativo | Lógica | ||
| 2003 | ||||
| PVE239-2003 | Lógica linear em dedução natural | Lógica | ||
| PVE742-2003 | Um estudo de alguns dC-systems em cálculo de seqüentes e dedução natural | Lógica | ||
| PVE814-2003 | Representação do Conhecimento: aspectos lógico-formais e mecanismos de criatividade | Epistemologia | ||
| PVE847-2003 | Modelagem Lógica de Discurso Normativo | Lógica | ||
| 2002 | ||||
| PVE239-2002 | Lógica linear em dedução natural | Lógica | ||
| PVE742-2002 | Um estudo de alguns dC-systems em cálculo de seqüentes e dedução natural | Lógica | ||
| PVE814-2002 | Representação do Conhecimento: aspectos lógico-formais e mecanismos de criatividade | Epistemologia | ||
| PVE847-2002 | Modelagem Lógica de Discurso Normativo | Lógica | ||
| 2001 | ||||
| PVE551-2001 | Operações Cognitivas: Aspectos Lógico-Formais e Mecanismos de Criatividade-Parte II | Lógica | ||
| PVE592-2001 | Cw* em cálculo de seqüentes e dedução natural | Lógica | ||
| PVE800-2001 | Investigações Acerca de uma Versão Modal para Lógica Intermediária dos Domínios Constantes-Parte II | Lógica | ||
| 2000 | ||||
| PVE339-2000 | Operações Cognitivas: Aspectos Lógico-Formais e Mecanismos de Criatividade | Lógica | ||
SIGAA | Superintendência de Tecnologia da Informação - (84) 3342 2210 | Copyright © 2006-2026 - UFRN - sigaa10-producao.info.ufrn.br.sigaa10-producao v4.20.4_1