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