Definiaaes Recursivas
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. Minimal Model and hierarchy of expressive power / Modelos minimais e hierarquia de expressividade
Neste trabalho, o conceito de Modelo Minimal e seu uso na semÃntica de certas lÃgicas sÃo estudados. NÃs analisamos o poder expressivo de diversas lÃgicas que usam o conceito de Modelo Minimal para definir sua relaÃÃo de satisfaÃÃo. Os principais teoremas estudados foram o Teorema de LÃwenheim-Skolem e o Teorema de Definibilidade de Beth. No CapÃt
Publicado em: 2007