Título: Maximalidade e Revisão em Lógicas
Resumo: A noção de maximalidade em lógica, apesar de intuitiva, é apresentada de diversas formas em diferentes artigos. Apresentaremos definições gerais de maximalidade em lógicas e relacionaremos essas noções com operações de contração, revisão e fibrilação segura em lógicas. Por fim, mostramos teoremas de representação para cada uma das operações e alguns resultados de preservação de propriedades.
Nenhum comentário:
Postar um comentário