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

Para lógica proposicional clássica

Para lógicas proposicionais paraconsistentes

Para lógicas de inconsistência formal

Para lógicas de da Costa

Ferramentas pessoais