Orientador: Hércules de Araújo Feitosa / Coorientador: Maria Cláudia Cabrini Grácio / Banca: Mauri Cunha do Nascimento / Banca: Marcelo Esteban Coniglio / 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 / Abstract: 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 / Mestre
| Identifer | oai:union.ndltd.org:UNESP/oai:www.athena.biblioteca.unesp.br:UEP01-000690235 |
| Date | January 2011 |
| Creators | Golzio, Ana Claudia de Jesus. |
| Contributors | Universidade Estadual Paulista (Unesp) Faculdade de Filosofia e Ciências, Marília. |
| Publisher | Marília : [s.n.], |
| Source Sets | Universidade Estadual Paulista |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | text |
| Format | 97 f. |
| Relation | Sistema requerido: Adobe Acrobat Reader |
Page generated in 0.004 seconds