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 |
