Palavra-chave: TABLEAUX

SOFTWARE LÓGICAS MODULADAS DA COSTA SYSTEMS LÓGICA ALGÉBRICA SISTEMAS DINÂMICOS LÓGICAS NÃO CLÁSSICAS NATURAL DEDUCTION SYSTEMS MODAL CÁLCULO DE SEQÜENTES EVENTOS DISCRETOS SISTEMAS EVENT DISCRETE LOGICA PROPOSICIONAL PARA "POUCOS" OPERADOR DE CONSEQÜÊNCIA REGRAS DE INFERÊNCIA LÓGICA PARACONSISTENTE LÓGICA MODAL TEORIA DA PROVA SISTEMAS DE DA COSTA ÁLGEBRA PARA "POUCOS" LOGICA PARACONSISTENTE MÉTODO AXIOMÁTICO ÁLGEBRA LOGIC DECIDIBILIDADE AXIOMAS CALCULO PROPOSICIONAL CLÁSSICO CORREÇÃO DIOID SEMÂNTICA DE VALORAÇÕES SISTEMA HILBERTIANO MODAL LOGIC COMBINAÇÕES ENTRE LÓGICAS LÓGICA NÃO-CLÁSSICA PROVA AUTOMÁTICA DE TEOREMAS LÓGICA PROPOSICIONAL PARA O TERMO "POUCOS" DEDUÇÃO NATURAL LÓGICA A MÚLTIPLOS VALORES LÓGICAS DE DA COSTA ÁLGEBRAS NÃO-DETERMINÍSTICAS CONJUNTOS QUASE FECHADOS INFERIORMENTE LÓGICA TK SISTEMAS DEDUTIVOS SEMÂNTICAS NÃO-DETERMINÍSTICAS LÓGICA DE PRIMEIRA ORDEM INTELIGÊNCIA ARTIFICIAL LÓGICA INTUICIONISTA DISCRETE EVENT BASES DE CONHECIMENTO LÓGICA MATRICIAL UNCERTAINTY ALGORITMOS LÓGICA DIÓIDE COMPLETUDE