Conectivos de Restauração Local

O presente trabalho tem como objetivo principal definir o conceito de Conectivo de Restauração Local. Propomos rever diversos sistemas lógicos conhecidos na literatura sob o ângulo do novo conceito introduzido. Procuramos conectivos de restauração local nas lógicas do sem-sentido de Bo?var, Halldén e Åqvist, nos sistemas n-valorados de ?ukasiewicz e nas Lógicas Intuicionista e Minimal. Nossa caracterização de um conectivo como sendo um conectivo de restauração local estará estreitamente ligada à possibilidade de obter Teoremas de Ajuste de Derivabilidade entre sistemas lógicos. Como resultado da pesquisa, mostramos que em cada uma destas lógicas é possível achar conectivos de restauração local. Estabelecemos, assim, novas e conhecidas vinculações entre sistemas lógicos desde uma nova perspectiva. Mostramos que os diferentes sistemas estudados constituem novos exemplos de Lógicas da Inconsistência Formal e de Lógicas da Indeterminação Formal. Mostramos, também, que a estratégia de definir conectivos de restauração local pode ser aplicada para obtener novas demonstrações de conhecidos metateoremas lógicos. Finalmente, estabelecemos um esquema geral a partir do qual definir novos conectivos de restauração local.