Palavra-chave: LÓGICA DE PRIMEIRA ORDEM

LÓGICAS DA INCONSISTÊNCIA FORMAL ESTRUTURAS SWAP LÓGICA PARACONSISTENTE SEMÂNTICAS NÃO-DETERMINÍSITCAS ESTRUTURAS TWIST LÓGICA MODAL ÁLGEBRAS DE BOOLE COM OPERADORES LOGICAS ALGEBRIZAVEIS MATRIZES NÃO-DETERMINÍSTICAS LÓGICAS NÃO-CLÁSSICAS LÓGICAS DE EVIDÊNCIA E VERDADE TEORIA DE MODELOS LÓGICAS 3-VALORADAS SEMÂNTICAS NÃO-DETERMINÍSTICAS TABLEAUX