Idioma:

Aspectos da teoria de funções modais

Falcão, Pedro Alonso Amaral

Acesso online. A biblioteca também possui exemplares impressos.

Título:
Aspectos da teoria de funções modais
Autor: Falcão, Pedro Alonso Amaral
Orientador: Silva, Rodrigo Bacellar da Costa e
Assuntos: Completude Funcional; Funções Modais; Lógica Proposicional Modal (S5); Functional Completeness; Modal Functions; Modal Propositional Logic (S5)
Notas: Dissertação (Mestrado)
Descrição: Apresentamos alguns aspectos da teoria de funções modais, que é o correlato modal da teoria de funções de verdade. Enquanto as fórmulas da lógica proposicional clássica expressam funções de verdade, as fórmulas da lógica proposicional modal (S5) expressam funções modais. Generalizamos alguns dos teoremas da teoria de funções de verdade para o caso modal; em particular, exibimos provas da completude funcional de alguns conjuntos de funções modais e definimos uma (nova) noção de reduto vero-funcional de funções modais, bem como a composição de funções modais em termos destes redutos.
DOI: 10.11606/D.8.2012.tde-11042013-104549
Editor: Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Faculdade de Filosofia, Letras e Ciências Humanas
Data de criação/publicação: 2012-12-10
Formato: Adobe PDF
Idioma: Português

Links

Voltar para lista de resultados

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