Palavra-chave: LÓGICA DE PRIMEIRA ORDEM

ESTRUTURAS TWIST LÓGICAS DA INCONSISTÊNCIA FORMAL ESTRUTURAS SWAP LÓGICA PARACONSISTENTE SEMÂNTICAS NÃO-DETERMINÍSITCAS LOGICAS ALGEBRIZAVEIS LÓGICA MODAL ÁLGEBRAS DE BOOLE COM OPERADORES 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 TABLEAUX SEMÂNTICAS NÃO-DETERMINÍSTICAS