Aspectos da teoria de funções modais

Detalhes bibliográficos
Autor(a) principal: Falcão, Pedro Alonso Amaral
Data de Publicação: 2012
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/8/8133/tde-11042013-104549/
Resumo: 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.
id USP_8b6eec8c39cb5fc983c5679ed2efaa70
oai_identifier_str oai:teses.usp.br:tde-11042013-104549
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Aspectos da teoria de funções modaisAspects of the theory of modal functionsCompletude funcionalFunções modaisFunctional completenessLógica proposicional modal (S5)Modal functionsModal propositional logic (S5)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.We present some aspects of the theory of modal functions, which is the modal correlate of the theory of truth-functions. While the formulas of classical propositional logic express truth-functions, the formulas of modal propositional logic (S5) express modal functions. We generalize some theorems of the theory of truth-functions to the modal case; in particular, we show the functional completeness of some sets of modal functions and define a (new) notion of truth-functional reduct of modal functions, as well as the composition of modal functions in terms of such reducts.Biblioteca Digitais de Teses e Dissertações da USPSilva, Rodrigo Bacellar da Costa eFalcão, Pedro Alonso Amaral2012-12-10info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/8/8133/tde-11042013-104549/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/openAccesspor2016-07-28T16:10:35Zoai:teses.usp.br:tde-11042013-104549Biblioteca 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:27212016-07-28T16:10:35Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Aspectos da teoria de funções modais
Aspects of the theory of modal functions
title Aspectos da teoria de funções modais
spellingShingle Aspectos da teoria de funções modais
Falcão, Pedro Alonso Amaral
Completude funcional
Funções modais
Functional completeness
Lógica proposicional modal (S5)
Modal functions
Modal propositional logic (S5)
title_short Aspectos da teoria de funções modais
title_full Aspectos da teoria de funções modais
title_fullStr Aspectos da teoria de funções modais
title_full_unstemmed Aspectos da teoria de funções modais
title_sort Aspectos da teoria de funções modais
author Falcão, Pedro Alonso Amaral
author_facet Falcão, Pedro Alonso Amaral
author_role author
dc.contributor.none.fl_str_mv Silva, Rodrigo Bacellar da Costa e
dc.contributor.author.fl_str_mv Falcão, Pedro Alonso Amaral
dc.subject.por.fl_str_mv Completude funcional
Funções modais
Functional completeness
Lógica proposicional modal (S5)
Modal functions
Modal propositional logic (S5)
topic Completude funcional
Funções modais
Functional completeness
Lógica proposicional modal (S5)
Modal functions
Modal propositional logic (S5)
description 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.
publishDate 2012
dc.date.none.fl_str_mv 2012-12-10
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/8/8133/tde-11042013-104549/
url http://www.teses.usp.br/teses/disponiveis/8/8133/tde-11042013-104549/
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_ 1815256857861685248