Famílias de problemas difíceis

De Wiki DAINF
(Diferença entre revisões)
(Famílias de problemas difíceis para lógicas proposicionais inconsistentes)
(Para lógicas proposicionais paraconsistentes)
 
(2 edições intermediárias de um usuário não apresentadas)
Linha 1: Linha 1:
== Famílias de problemas difíceis para lógica proposicional clássica ==
+
== Para lógica proposicional clássica ==
  
 
* [[PHP]]
 
* [[PHP]]
Linha 7: Linha 7:
 
* [[H]]
 
* [[H]]
  
== Famílias de problemas difíceis para lógicas proposicionais paraconsistentes ==
+
== Para lógicas proposicionais paraconsistentes ==
  
 
=== 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