Palavra-chave: ESTRUTURAS TWIST

ESTRUTURAS SWAP LÓGICA DE PRIMEIRA ORDEM LÓGICA PARACONSISTENTE SEMÂNTICAS NÃO-DETERMINÍSITCAS LÓGICAS DA INCONSISTÊNCIA FORMAL TEORIA DE CONJUNTOS LÓGICAS DA EVIDÊNCIA E VERDADE LÓGICA A MÚLTIPLOS VALORES LÓGICA ALGÉBRICA LOGICAS PARACOMPLETAS LÓGICA DIFUSA CÁLCULO DE SEQUENTES MATRIZES NÃO-DETERMINÍSTICAS