Famílias de problemas difíceis

De Wiki DAINF

Ir para: navegação, pesquisa

Tabela de conteúdo

1 Para lógica proposicional clássica
2 Para lógicas proposicionais paraconsistentes
- 2.1 Para lógicas de inconsistência formal
- 2.2 Para lógicas de da Costa

Para lógica proposicional clássica

Para lógicas proposicionais paraconsistentes

Para lógicas de inconsistência formal

Para lógicas de da Costa

Obtida de "http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Fam%C3%ADlias_de_problemas_dif%C3%ADceis&oldid=447"

Visualizações

Ferramentas pessoais

Autenticar-se

Pesquisar

Ferramentas