Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Um Provador de Teoremas para Logicas de Inconsistencia Formal
Próximos SlideShares
Carregando em…5
×

Um Provador de Teoremas para Logicas de Inconsistencia Formal

1.180 visualizações

Publicada em

A nova versao do KEMS - "Provador de Teoremas Multi-estrategia baseado no Sistema KE" ( http://kems.incubadora.fapesp.br e http://www.ime.usp.br/~adolfo/KEMS ) implementa estrategias para duas Logicas de Inconsistencia Formal (LFIs): mbC e mCi. Apresentaremos os sistemas de tablo KE, as estrategias implementadas e os problemas utilizados para testar provadores para estas duas logicas. Faremos uma demonstracao do provador e discutiremos os resultados obtidos ate agora e as possibilidades de extensao deste provador para outras LFIs. Apresentacaoo feita nos Seminarios de Programa do Grupo de Logica Teorica e Aplicada CLE/IFCH e Colloquia Logicae - CLE-UNICAMP em 27/09/2006.

  • Seja o primeiro a comentar

×