Detalhes bibliográficos
| Ano de defesa: |
2017 |
| Autor(a) principal: |
Falcão, Pedro Alonso Amaral |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Tese
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
eng |
| Instituição de defesa: |
Biblioteca Digitais de Teses e Dissertações da USP
|
| Programa de Pós-Graduação: |
Não Informado pela instituição
|
| Departamento: |
Não Informado pela instituição
|
| País: |
Não Informado pela instituição
|
| Palavras-chave em Português: |
|
| Link de acesso: |
https://www.teses.usp.br/teses/disponiveis/8/8133/tde-19122019-182332/
|
Resumo: |
We present here some highlights of the Theory of Modal Functions, and in particular an important result in the Theory of Systems of Modal Functions: the determination of the pre-complete systems of modal functions. This result is the modal (S5) correlate of Post\'s criterion of (truth-)functional completeness, and was originally shown by the Moldavian logician M. F. Ratsa (who published it in a paper written in Russian). We present Ratsa\'s theorems in a framework slightly different from his, and we provide corrections of a few small errors of the original version. |
