Famílias de problemas difíceis
De Wiki DAINF
(Diferença entre revisões)
(→Famílias de problemas difíceis para lógicas proposicionais paraconsistentes) |
(→Para lógicas proposicionais paraconsistentes) |
||
Linha 10: | Linha 10: | ||
=== Para lógicas de inconsistência formal === | === Para lógicas de inconsistência formal === | ||
+ | |||
+ | === Para lógicas de da Costa === |
Edição atual tal como 18h29min de 11 de setembro de 2008
Tabela de conteúdo |