Palavra-chave: LÓGICA DE PRIMEIRA ORDEM

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