Resumo
Este projeto tem por objetivo desenvolver um quadro unificado para os sistemas lógicos baseado no método de Fraïssé para a lógica de primeira ordem. A proposta visa fornecer um tratamento mais fino para a noção de definibilidade que pode ser aplicado para a comparação de poder expressivo de sistemas. De forma sucinta, propomos (i) desenvolver uma definição de sistema lógico adequada às in…