Palavra-chave: ESTRUTURAS ORDENADAS

LÓGICA INTUICIONISTA SEMÂNTICA CATEGORIAL LÓGICA E TEORIA DE CATEGORIAS LÓGICA DE ORDEM SUPERIOR LÓGICAS DA INCONSISTÊNCIA FORMAL LÓGICA A MÚLTIPLOS VALORES LÓGICA MODAL LOGICAS ALGEBRIZAVEIS ÁLGEBRAS MODAIS LÓGICA NÃO-CLÁSSICA TEORIA DE MODELOS TEORIA DAS CATEGORIAS