Idioma:

Combinações de Lógicas Modais Não-normais

Rogério Augusto dos Santos Fajardo Marcelo Finger

Localização: IME - Inst. Matemática e Estatística (IME-T QA9.86.T F175c e.1 )(Acessar)

Título:
Combinações de Lógicas Modais Não-normais
Autor: Rogério Augusto dos Santos Fajardo
Marcelo Finger
Assuntos: LÓGICA MATEMÁTICA
Notas: Dissertação (Mestrado)
Descrição: Neste trabalho estudamos algumas formas de combinar sistemas de Lógica Modal, analisando quando a combinação preserva propriedades como correção, completude e decidibilidade. Estendemos um estudo já realizado sobre combinações de sistemas de Lógica Modal Normal para sistemas de Lógica Modal Não-normal. O principal resultado deste trabalho é a preservação de completude da aplicação externa de um sistema de Lógica Modal Não-normal M em um sistema lógico L. Outro resultado importante é um exemplo de interação forte na combinação independente, ou fusão, de dois sistemas de Lógica Modal Não-normal.
Data de criação/publicação: 2004
Formato: 57 p.
Idioma: Português

Links

Voltar para lista de resultados

Resultado 1 Avançar Ir para próxima página