Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos

Detalhes bibliográficos
Ano de defesa: 2011
Autor(a) principal: Golzio, Ana Claudia de Jesus [UNESP]
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: Universidade Estadual Paulista (Unesp)
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:
Logica algebrica
Filosofia
Indução (Logica)
Raciocínio
Link de acesso: http://hdl.handle.net/11449/91769
Resumo: Grácio (1999), em sua tese de doutorado intitulada “Lógicas moduladas e raciocínio sob in-certeza”, estabeleceu uma formalização no ambiente quantificacional para o termo da lingua-gem natural: “muitos”. Buscando a formalização desse conceito no ambiente proposicional, Feitosa, Nascimento e Grácio (2009) no artigo “Algebraic elements for the notions of „many‟”, apresentam uma estrutura matemática denominada conjuntos fechados superior-mente que torna possível o desenvolvimento de uma álgebra para “muitos” e também de uma lógica proposicional para “muitos”. De modo similar ao trabalho apresentado por Feitosa, Nascimento e Grácio (2009) para a noção de “muitos”, este trabalho investiga os elementos algébricos necessários para a formalização da noção de “poucos” e desenvolve uma álgebra para “poucos”, que tem como base uma estrutura matemática denominada conjuntos quase fechados inferiormente. A partir dessa álgebra para “poucos”, este trabalho apresenta uma lógica proposicional para “poucos” (LPP) nos sistemas dedutivos: hilbertiano e tableaux
id UNSP_bb34ba73c25e8b931c8ce95210c8a0e8
oai_identifier_str oai:repositorio.unesp.br:11449/91769
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str
spelling Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivosLogica algebricaFilosofiaIndução (Logica)RaciocínioGrácio (1999), em sua tese de doutorado intitulada “Lógicas moduladas e raciocínio sob in-certeza”, estabeleceu uma formalização no ambiente quantificacional para o termo da lingua-gem natural: “muitos”. Buscando a formalização desse conceito no ambiente proposicional, Feitosa, Nascimento e Grácio (2009) no artigo “Algebraic elements for the notions of „many‟”, apresentam uma estrutura matemática denominada conjuntos fechados superior-mente que torna possível o desenvolvimento de uma álgebra para “muitos” e também de uma lógica proposicional para “muitos”. De modo similar ao trabalho apresentado por Feitosa, Nascimento e Grácio (2009) para a noção de “muitos”, este trabalho investiga os elementos algébricos necessários para a formalização da noção de “poucos” e desenvolve uma álgebra para “poucos”, que tem como base uma estrutura matemática denominada conjuntos quase fechados inferiormente. A partir dessa álgebra para “poucos”, este trabalho apresenta uma lógica proposicional para “poucos” (LPP) nos sistemas dedutivos: hilbertiano e tableauxGrácio (1999), in her doctorate thesis entitled “Lógicas moduladas e raciocínio sob incerteza”, provided a formalization of the term “many”, whose can be met in natural language, inside a quantificational context. To formalize this concept in a propositional environment, Feitosa, Nascimento and Grácio (2009) presented another mathematical structure entitled upper closed sets in the paper “Algebraic elements for the notions of „many‟ ”, whose allows the develop-ment of an algebra for “many” and also a propositional logic for many. In a similar way, this paper investigates the necessary algebraic elements for the formalization of the notion of few. We also develop an algebra for “few” which is based on a mathematical structure called lower almost closed sets. From this algebra for “few, we present a propositional logic for few (LPP) in a Hilbert system. After that we present the LPP in tableauxCoordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)Universidade Estadual Paulista (Unesp)Feitosa, Hércules de Araújo [UNESP]Grácio, Maria Cláudia Cabrini [UNESP]Universidade Estadual Paulista (Unesp)Golzio, Ana Claudia de Jesus [UNESP]2014-06-11T19:25:28Z2014-06-11T19:25:28Z2011-09-09info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesis97 f.application/pdfGOLZIO, Ana Claudia de Jesus. Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos. 2011. 97 f. , 2011.http://hdl.handle.net/11449/91769000690235golzio_acj_me_mar.pdf33004110041P15170688300970006Alephreponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPporinfo:eu-repo/semantics/openAccess2024-08-13T17:50:03Zoai:repositorio.unesp.br:11449/91769Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestrepositoriounesp@unesp.bropendoar:29462024-08-13T17:50:03Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos
title Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos
spellingShingle Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos
Golzio, Ana Claudia de Jesus [UNESP]
Logica algebrica
Filosofia
Indução (Logica)
Raciocínio
title_short Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos
title_full Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos
title_fullStr Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos
title_full_unstemmed Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos
title_sort Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos
author Golzio, Ana Claudia de Jesus [UNESP]
author_facet Golzio, Ana Claudia de Jesus [UNESP]
author_role author
dc.contributor.none.fl_str_mv Feitosa, Hércules de Araújo [UNESP]
Grácio, Maria Cláudia Cabrini [UNESP]
Universidade Estadual Paulista (Unesp)
dc.contributor.author.fl_str_mv Golzio, Ana Claudia de Jesus [UNESP]
dc.subject.por.fl_str_mv Logica algebrica
Filosofia
Indução (Logica)
Raciocínio
topic Logica algebrica
Filosofia
Indução (Logica)
Raciocínio
description Grácio (1999), em sua tese de doutorado intitulada “Lógicas moduladas e raciocínio sob in-certeza”, estabeleceu uma formalização no ambiente quantificacional para o termo da lingua-gem natural: “muitos”. Buscando a formalização desse conceito no ambiente proposicional, Feitosa, Nascimento e Grácio (2009) no artigo “Algebraic elements for the notions of „many‟”, apresentam uma estrutura matemática denominada conjuntos fechados superior-mente que torna possível o desenvolvimento de uma álgebra para “muitos” e também de uma lógica proposicional para “muitos”. De modo similar ao trabalho apresentado por Feitosa, Nascimento e Grácio (2009) para a noção de “muitos”, este trabalho investiga os elementos algébricos necessários para a formalização da noção de “poucos” e desenvolve uma álgebra para “poucos”, que tem como base uma estrutura matemática denominada conjuntos quase fechados inferiormente. A partir dessa álgebra para “poucos”, este trabalho apresenta uma lógica proposicional para “poucos” (LPP) nos sistemas dedutivos: hilbertiano e tableaux
publishDate 2011
dc.date.none.fl_str_mv 2011-09-09
2014-06-11T19:25:28Z
2014-06-11T19:25:28Z
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 GOLZIO, Ana Claudia de Jesus. Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos. 2011. 97 f. , 2011.
http://hdl.handle.net/11449/91769
000690235
golzio_acj_me_mar.pdf
33004110041P1
5170688300970006
identifier_str_mv GOLZIO, Ana Claudia de Jesus. Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos. 2011. 97 f. , 2011.
000690235
golzio_acj_me_mar.pdf
33004110041P1
5170688300970006
url http://hdl.handle.net/11449/91769
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 97 f.
application/pdf
dc.publisher.none.fl_str_mv Universidade Estadual Paulista (Unesp)
publisher.none.fl_str_mv Universidade Estadual Paulista (Unesp)
dc.source.none.fl_str_mv Aleph
reponame:Repositório Institucional da UNESP
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Repositório Institucional da UNESP
collection Repositório Institucional da UNESP
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv repositoriounesp@unesp.br
_version_ 1854954719799148544

Registros relacionados