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
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.unesp.br:11449/91769 |
| Date | 09 September 2011 |
| Creators | Golzio, Ana Claudia de Jesus [UNESP] |
| Contributors | Universidade Estadual Paulista (UNESP), Feitosa, Hércules de Araújo [UNESP], Grácio, Maria Cláudia Cabrini [UNESP] |
| Publisher | Universidade Estadual Paulista (UNESP) |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | 97 f. |
| Source | Aleph, reponame:Repositório Institucional da UNESP, instname:Universidade Estadual Paulista, instacron:UNESP |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | -1, -1, -1 |
Page generated in 0.002 seconds