Palavra-chave: TABLEAUX

LÓGICAS DE DA COSTA SISTEMAS DINÂMICOS EVENT DISCRETE DISCRETE EVENT UNCERTAINTY TEORIA DA PROVA INTELIGÊNCIA ARTIFICIAL PROVA AUTOMÁTICA DE TEOREMAS DIÓIDE MODAL NATURAL DEDUCTION SYSTEMS SOFTWARE COMBINAÇÕES ENTRE LÓGICAS LÓGICA MATRICIAL SYSTEMS LÓGICA PARACONSISTENTE LÓGICA INTUICIONISTA LOGIC DA COSTA LÓGICA DE PRIMEIRA ORDEM ÁLGEBRAS NÃO-DETERMINÍSTICAS SEMÂNTICAS NÃO-DETERMINÍSTICAS DEDUÇÃO NATURAL LOGICA PARACONSISTENTE LÓGICA A MÚLTIPLOS VALORES LÓGICA AXIOMAS REGRAS DE INFERÊNCIA BASES DE CONHECIMENTO SEMÂNTICA DE VALORAÇÕES MODAL LOGIC SISTEMAS DE DA COSTA EVENTOS DISCRETOS LÓGICA ALGÉBRICA SISTEMAS DIOID LÓGICA MODAL ÁLGEBRA COMPLETUDE ALGORITMOS LÓGICA NÃO-CLÁSSICA CORREÇÃO