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...) |
(→Para lógicas proposicionais paraconsistentes) |
||
| (3 edições intermediárias de um usuário não apresentadas) | |||
| Linha 1: | Linha 1: | ||
| − | == | + | == Para lógica proposicional clássica == |
* [[PHP]] | * [[PHP]] | ||
| Linha 7: | Linha 7: | ||
* [[H]] | * [[H]] | ||
| − | == | + | == Para lógicas proposicionais paraconsistentes == |
| + | |||
| + | === 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 |
