COMPLETAMENTO E DECIBILIDADE

Detalhes bibliográficos
Autor(a) principal: Leme, Brasil Terra
Data de Publicação: 1972
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: 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.
id USP_3e60f577d698c00c9dc9f3f1c4280364
oai_identifier_str oai:teses.usp.br:tde-03122019-113652
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling COMPLETAMENTO E DECIBILIDADENot availableNão disponívelNot availableNo 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.This dissertation presents some logical systems, with special regard to the decidibility problem. An algebraic-topological account of the intuitionistic implicative system is given, introducing the \"tableaux-sémantiques\", due to E. Beth, concerning the decidibility. This approach is used to study the pseudo-boolean (and the boolean) systems, as well as the modal system S4.Biblioteca Digitais de Teses e Dissertações da USPIze, Antonio FernandesLeme, Brasil Terra1972-12-28info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/55/55135/tde-03122019-113652/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2022-12-05T17:04:45Zoai:teses.usp.br:tde-03122019-113652Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212022-12-05T17:04:45Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv COMPLETAMENTO E DECIBILIDADE
Not available
title COMPLETAMENTO E DECIBILIDADE
spellingShingle COMPLETAMENTO E DECIBILIDADE
Leme, Brasil Terra
Não disponível
Not available
title_short COMPLETAMENTO E DECIBILIDADE
title_full COMPLETAMENTO E DECIBILIDADE
title_fullStr COMPLETAMENTO E DECIBILIDADE
title_full_unstemmed COMPLETAMENTO E DECIBILIDADE
title_sort COMPLETAMENTO E DECIBILIDADE
author Leme, Brasil Terra
author_facet Leme, Brasil Terra
author_role author
dc.contributor.none.fl_str_mv Ize, Antonio Fernandes
dc.contributor.author.fl_str_mv Leme, Brasil Terra
dc.subject.por.fl_str_mv Não disponível
Not available
topic Não disponível
Not available
description 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.
publishDate 1972
dc.date.none.fl_str_mv 1972-12-28
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://www.teses.usp.br/teses/disponiveis/55/55135/tde-03122019-113652/
url http://www.teses.usp.br/teses/disponiveis/55/55135/tde-03122019-113652/
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv
dc.rights.driver.fl_str_mv Liberar o conteúdo para acesso público.
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Liberar o conteúdo para acesso público.
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.coverage.none.fl_str_mv
dc.publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
publisher.none.fl_str_mv Biblioteca Digitais de Teses e Dissertações da USP
dc.source.none.fl_str_mv
reponame:Biblioteca Digital de Teses e Dissertações da USP
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Biblioteca Digital de Teses e Dissertações da USP
collection Biblioteca Digital de Teses e Dissertações da USP
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)
repository.mail.fl_str_mv virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br
_version_ 1809090356338229248

Registros relacionados