Return to search

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

Made available in DSpace on 2014-06-11T19:25:28Z (GMT). No. of bitstreams: 0
Previous issue date: 2011-09-09Bitstream added on 2014-06-13T20:33:06Z : No. of bitstreams: 1
golzio_acj_me_mar.pdf: 367409 bytes, checksum: 7f33a7140bef1945b56ef8cac09e74aa (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / 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 / Grá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 tableaux

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.unesp.br:11449/91769
Date09 September 2011
CreatorsGolzio, Ana Claudia de Jesus [UNESP]
ContributorsUniversidade Estadual Paulista (UNESP), Feitosa, Hércules de Araújo [UNESP], Grácio, Maria Cláudia Cabrini [UNESP]
PublisherUniversidade Estadual Paulista (UNESP)
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Format97 f.
SourceAleph, reponame:Repositório Institucional da UNESP, instname:Universidade Estadual Paulista, instacron:UNESP
Rightsinfo:eu-repo/semantics/openAccess
Relation-1, -1, -1

Page generated in 0.002 seconds