Detalhes bibliográficos
| Ano de defesa: |
1972 |
| Autor(a) principal: |
Leme, Brasil Terra |
| Orientador(a): |
Não Informado pela instituição |
| Banca de defesa: |
Não Informado pela instituição |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| 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: |
http://www.teses.usp.br/teses/disponiveis/55/55135/tde-03122019-113652/
|
Resumo: |
No presente trabalho fazemos uma exposição de certos sistemas Iógicos dando ênfase especial ao problema da decidibilidade. É feito um estudo algébrico topológico do sistema implicativo intuicionista e já aqui introduzimos os \"tableaux sémantiques\" devidos a E. Beth, visando a decidibilidade. Sob estes aspectos são examinados os sistemas pseudo-Booieanos (inclusive o Booleano) assim como o sistema modal S4. |
