Palavra-chave: TABLEAUX

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