Determinização em Teorias de Estrutura: Um Arcabouço Unificado via Fechamento, Comparabilidade e Admissibilidade Conjunta

arXiv:2608.07476v1 Tipo de anúncio: novo Resumo: Desenvolvemos um arcabouço formal para construir interpretações canônicas a partir de teorias de estrutura plurais. Uma teoria de estrutura é uma tripla T = ({\Sigma}, A, I) que consiste em uma assinatura, axiomas e uma política de inferência, cuja família de interpretações admissíveis reúne todas as atribuições globalmente consistentes de conclusões estruturais. Distinguimos três níveis de canonicalização: estabilização de fechamento (convergência por semente), completude global (indep...