Famílias de problemas difíceis
De Wiki DAINF
(Diferença entre revisões)
(Nova página: == Famílias de problemas difíceis para lógica proposicional clássica == * PHP * Statman * Tseitin * Gamma * H == Famílias de problemas difíceis para lógica...) |
(→Famílias de problemas difíceis para lógicas proposicionais inconsistentes) |
||
| Linha 7: | Linha 7: | ||
* [[H]] | * [[H]] | ||
| − | == Famílias de problemas difíceis para lógicas proposicionais | + | == Famílias de problemas difíceis para lógicas proposicionais paraconsistentes == |
| + | |||
| + | === Para lógicas de inconsistência formal === | ||
