You are in the accessibility menu

Please use this identifier to cite or link to this item: `http://acervodigital.unesp.br/handle/11449/91780`
DC FieldValueLanguage
dc.contributor.authorMatulovic, Mariana-
dc.date.accessioned2014-06-11T19:25:28Z-
dc.date.accessioned2016-10-25T19:06:58Z-
dc.date.available2014-06-11T19:25:28Z-
dc.date.available2016-10-25T19:06:58Z-
dc.date.issued2008-07-14-
dc.identifier.citationMATULOVIC, Mariana. A lógica do muito em um sistema de tablôs. 2008. 121 f. Dissertação (mestrado) Universidade estadual Paulista. Faculdade de Filosofia e Ciências, 2008.-
dc.identifier.urihttp://hdl.handle.net/11449/91780-
dc.identifier.urihttp://acervodigital.unesp.br/handle/11449/91780-
dc.description.abstractAmong the several non classical logics that complement the classical first-order logic, we detach the Modulated Logics. This class of logics is characterized by extending the classical logic by the introduction of a new generalized quantifier, called modulated quantifier, that has the attribution of interpreting some inductive aspects of quantifiers in any natural language. As a particular case of Modulated Logic, the Logic of Many formalize the intuitive notion of “many”. The quantifier of many is represented by G. Thus, a sentence of the type Gxα(x) must be understood like “many individuals satisfy the property α”. Semantically, the notion of many is associated with a mathematical structure named proper superiorly closed family. Let E be a non empty set. A proper superiorly closed family F in E is such that: (i) F ⊆ P(E); (ii) E ∈ F; (iii) ∅ ∉ F; (iv) A ∈ F e A ⊆ B ⇒ B ∈ F. Intuitively, F characterizes the sets which have “many” elements. The empty set ∅ does not have many elements. And if A has many elements, then any set which contains A, also has many elements. The logic of many has syntactical elements that caracterize linguisticaly these properties of F. We can verify that the Logic of Many is correct and complete for a first order structure extended by a proper superiorly closed family. The Logic of Many was originally introduced in a Hilbertian deductive system, based only on axioms and rules. In this work, we developed another deductive system for the Logic of Many, but in a tableaux system. We proof that this new system is equivalent to the original one.en
dc.format.extent121 f. : il.-
dc.language.isopor-
dc.sourceAleph-
dc.subjectLógicapt
dc.subjectLógica do muitopt
dc.subjectTablôs analíticospt
dc.subjectModulated logicsen
dc.subjectLogic of manyen
dc.subjectTableaux systemen
dc.titleA lógica do muito em um sistema de tablôspt
dc.typeoutro-