Resumo
O presente projeto de pesquisa visa o estudo e análise de um novo conceito de morfismo de assinaturas proposicionais, e suas conseqüências para o conceito de forma lógica. Serão estudadas algumas das principais técnicas de combinações entre lógicas, com especial ênfase na técnica conhecida como Semântica de Traduções Possíveis, introduzida por W. Carnielli. Em particular, serão estudadas …