- Autor
- PEDRO ALONSO AMARAL FALCAO
- Orientador(a)
- RODRIGO BACELLAR DA COSTA E SILVA
- Universidade
- UNIVERSIDADE DE SÃO PAULO — USP
- Programa
- FILOSOFIA
- Grau
- DOUTORADO
- Ano
- 2017
2017PEDRO ALONSO AMARAL FALCAO. SOBRE SISTEMAS PRÉ-COMPLETOS DE FUNÇÕES MODAIS. 2017. Tese (DOUTORADO em FILOSOFIA) — UNIVERSIDADE DE SÃO PAULO, SP. Orientador(a): RODRIGO BACELLAR DA COSTA E SILVA.2
APRESENTAMOS ALGUNS FATOS RELEVANTES DA TEORIA DAS FUNÇÕES MODAIS, E EM PARTICULAR UM RESULTADO IMPORTANTE NA TEORIA DOS SISTEMAS DE FUNÇÕES MODAIS: A DETERMINAÇÃO DOS SISTEMAS PRÉ-COMPLETOS DE FUNÇÕES MODAIS. ESSE RESULTADO É O CORRELATO MODAL (EM S5) DO CRITÉRIO DE COMPLETUDE (VERO-)FUNCIONAL DE POST, E É ORIGINALMENTE DEVIDO AO LÓGICO MOLDÁVIO M. F. RATSA (QUE O PUBLICOU EM UM ARTIGO EM RUSSO). NÓS APRESENTAMOS OS TEOREMAS DE RATSA EM UM CONTEXTO LIGEIRAMENTE MODIFICADO, E FORNECEMOS CORREÇÕES DE ALGUNS PEQUENOS ERROS DO ARTIGO ORIGINAL.