Aspectos da teoria de funções modais (2012)
- Authors:
- Autor USP: FALCãO, PEDRO ALONSO AMARAL - FFLCH
- Unidade: FFLCH
- Sigla do Departamento: FLF
- Assunto: LÓGICA
- Keywords: Completude funcional; Funções modais; Functional completeness; Lógica proposicional modal (S5); Modal functions; Modal propositional logic (S5)
- Language: Português
- Abstract: 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
- Imprenta:
- Data da defesa: 10.12.2012
-
ABNT
FALCÃO, Pedro Alonso Amaral. Aspectos da teoria de funções modais. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-11042013-104549/. Acesso em: 24 abr. 2024. -
APA
Falcão, P. A. A. (2012). Aspectos da teoria de funções modais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-11042013-104549/ -
NLM
Falcão PAA. Aspectos da teoria de funções modais [Internet]. 2012 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-11042013-104549/ -
Vancouver
Falcão PAA. Aspectos da teoria de funções modais [Internet]. 2012 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-11042013-104549/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
