Dissertação
- Autor
- Rodrigo Podiacki Barreto de Menezes
- Orientador(a)
- Walter Alexandre Carnielli
- Universidade
- UNIVERSIDADE ESTADUAL DE CAMPINAS — UNICAMP
- Programa
- FILOSOFIA
- Grau
- MESTRADO
- Ano
- 2008
2008Rodrigo Podiacki Barreto de Menezes. Lógicas da Inconsistência Formal de Primeira Ordem. 2008. Dissertação (MESTRADO em FILOSOFIA) — UNIVERSIDADE ESTADUAL DE CAMPINAS, SP. Orientador(a): Walter Alexandre Carnielli.3
A dissertação tem como objetivo principal fornecer uma semântica correta e completa para uma classe de lógicas de primeira rodem conhecidas como Lógicas da Inconsistência Formal (LIFs). Após uma elucidação geral sobre semânticas paraconsistentes e de primeira ordem, um aLIF particular, chamada QMbC, será caracterizada axiomaticamente. Em seguida será construída uma semâtnica que se provará correta e completa para aLIF em questão. Por fim, uma série de LIFs com propriedades sintáticas interessantes serão caracterizadas axiomaticamente, e será visto como a semântica construída para QmbC pode ser estendida para todas essas lógicas.
Palavras-chave: