Lógica para Computação - Turmas S71 e S73 - 2009.1
De Wiki DAINF
(Diferença entre revisões)
(→Material para os Trabalhos) |
(→Material para os Trabalhos) |
||
Linha 6: | Linha 6: | ||
=== Tablôs Analíticos === | === Tablôs Analíticos === | ||
+ | |||
+ | |||
+ | === A lógica paraconsistente C_1, de Newton da Costa === | ||
+ | |||
+ | * [http://wwwexe.inf.ufsc.br/~arthur/publicacoes/dissertacoes/diss_Arthur.zip Dissertação de Mestrado de Arthur Buchsbaum] | ||
+ | * [ftp://logica.cle.unicamp.br/pub/e-prints/vol.5,n.1,2005-revised.pdf Logics of Formal Inconsistency] |
Edição de 13h00min de 12 de março de 2009
Tabela de conteúdo |