Problemas de uma semantica para a logica intuicionista de primeira ordem
AUTOR(ES)
Jorge Alberto Molina
DATA DE PUBLICAÇÃO
1992
RESUMO
Not informed
ASSUNTO(S)
filosofia teoria do conhecimento intuição
ACESSO AO ARTIGO
http://libdigi.unicamp.br/document/?code=vtls000050760Documentos Relacionados
- Normalização e normalização forte para a logica classica de primeira ordem
- FIRST-ORDER MODAL LOGIC FOR REASONING ABOUT GAMES
- Uma linguagem para modelagem de processos baseada em semÃntica de aÃÃes
- Uma metodologia para caracterizaÃÃo de trÃfego de vÃdio baseada nos momentos e primeira e segunda ordem
- Arquitectura, esquema, significado: problemas de semántica de la arquitectura