Translate

10.6.13

12/06 - Márcio Moretto


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