Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Globalização da agricultura e concentração fundiária no município de Ipanguaçu-RN

This research talks about the insertion of the borough Ipanguaçu-RN on the agricultural globalization process from 1979 to 2003. At the first moment (1979-1992) with the construction of the Açu´s barrage and the entry of agricultural national enterprises and secondly (1993-2003) with the entry of the multinational Del Monte Fresh Produce enterprise. During all this insertion period the impacts on the local land market. To make the research operational, it was tried to analyze documents of the local registry office and all the local, national and international bibliography about this issue during all the study period. Furthermore, interviews were made. At the ending of this thesis, the results show intensification of the agricultural capitalization on this borough, changing of the productive axis which heads to the external market and the land concentration of this borough. It was concluded that the insertion of this borough in the globalization system will increase the external intervention on Ipanguaçu blocking, then, the access if the local population to the land