On rich modal logics

I thank to my advisor, João Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I’d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student flat Fernado, Donátila and Aline are my nuclear family in Natal. I thank my fiancée Luclécia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement I wouldn’t achieve success in this journey. If you want the hits, be prepared for the misses Carl Yastrzemski

Condutividade térmica de rochas: uma aplicação para granitos ornamentais

This dissertation focuses on rock thermal conductivity and its correlations with petrographic, textural, and geochemical aspects, especially in granite rocks. It aims at demonstrating the relations of these variables in an attempt to enlighten the behavior of thermal effect on rocks. Results can be useful for several applications, such as understanding and conferring regional thermal flow results, predicting the behavior of thermal effect on rocks based upon macroscopic evaluation (texture and mineralogy), in the building construction field in order to provide more precise information on data refinement on thermal properties emphasizing a rocky material thermal conductivity, and especially in the dimension stone industry in order to open a discussion on the use of these variables as a new technological parameter directly related to thermal comfort. Thermal conductivity data were obtained by using Anter Corporation s QuicklineTM -30 a thermal property measuring equipment. Measurements were conducted at temperatures ranging between 25 to 38 OC in samples with 2cm in length and an area of at least 6cm of diameter. As to petrography data, results demonstrated good correlations with quartz and mafics. Linear correlation between mineralogy and thermal conductivity revealed a positive relation of a quartz percentage increase in relation to a thermal conductivity increase and its decrease with mafic minerals increase. As to feldspates (K-feldspate and plagioclase) they show dispersion. Quartz relation gets more evident when compared to sample sets with >20% and <20%. Sets with more than 20% quartz (sienogranites, monzogranites, granodiorites, etc.), exhibit to a great extent conductivity values which vary from 2,5 W/mK and the set with less than 20% (sienites, monzonites, gabbros, diorites, etc.) have an average thermal conductivity below 2,5 W/mK. As to textures it has been verified that rocks considered thick/porphyry demonstrated in general better correlations when compared to rocks considered thin/medium. In the case of quartz, thick rocks/porphyry showed greater correlation factors when compared to the thin/medium ones. As to feldspates (K-feldspate and plagioclase) again there was dispersion. As to mafics, both thick/porphyry and thin/medium showed negative correlations with correlation factor smaller than those obtained in relation to the quartz. As to rocks related to the Streckeisen s QAP diagram (1976), they tend to fall from alcali-feldspates granites to tonalites, and from sienites to gabbros, diorites, etc. Thermal conductivity data correlation with geochemistry confirmed to a great extent mineralogy results. It has been seen that correlation is linear if there is any. Such behavior could be seen especially with the SiO2. In this case similar correlation can be observed with the quartz, that is, thermal conductivity increases as SiO2 is incremented. Another aspect observed is that basic to intermediate rocks presented values always below 2,5 W/mK, a similar behavior to that observed in rocks with quartz <20%. Acid rocks presented values above 2,5 W/mK, a similar behavior to that observed in rocks with quartz >20% (granites). For all the other cases, correlation factors are always low and present opposite behavior to Fe2O3, CaO, MgO, and TiO2. As to Al2O3, K2O, and Na2O results are not conclusive and are statistically disperse. Thermal property knowledge especially thermal conductivity and its application in the building construction field appeared to be very satisfactory for it involves both technological and thermal comfort aspects, which favored in all cases fast, cheap, and precise results. The relation between thermal conductivity and linear thermal dilatation have also shown satisfactory results especially when it comes to the quartz role as a common, determining phase between the two variables. Thermal conductivity studies together with rocky material density can function as an additional tool for choosing materials when considering structural calculation aspects and thermal comfort, for in the dimension stone case there is a small density variation in relation to a thermal conductivity considerable variation

Arquitetura, litofácies e evolução tectonoestratigráfica da bacia do rio do peixe, nordeste do Brasil

The Rio do Peixe Basin is located in the border of Paraíba and Ceará states, immediately to the north of the Patos shear zone, encompassing an area of 1,315 km2. This is one of the main basins of eocretaceous age in Northeast Brazil, associated to the rifting event that shaped the present continental margin. The basin can be divided into four sub-basins, corresponding to Pombal, Sousa, Brejo das Freiras and Icozinho half-grabens. This dissertation was based on the analysis and interpretation of remote sensing products, field stratigraphic and structural data, and seismic sections and gravity data. Field work detailed the lithofacies characterization of the three formations previously recognised in the basin, Antenor Navarro, Sousa and Rio Piranhas. Unlike the classical vertical stacking, field relations and seismostratigraphic analysis highlighted the interdigitation and lateral equivalency between these units. On bio/chrono-stratigraphic and tectonic grounds, they correlate with the Rift Tectonosequence of neocomian age. The Antenor Navarro Formation rests overlies the crystalline basement in non conformity. It comprises lithofacies originated by a braided fluvial system system, dominated by immature, coarse and conglomeratic sandstones, and polymict conglomerates at the base. Its exposures occur in the different halfgrabens, along its flexural margins. Paleocurrent data indicate source areas in the basement to the north/NW, or input along strike ramps. The Sousa Formation is composed by fine-grained sandstones, siltites and reddish, locally grey-greenish to reddish laminated shales presenting wavy marks, mudcracks and, sometimes, carbonate beds. This formation shows major influence of a fluvial, floodplain system, with seismostratigraphic evidence of lacustrine facies at subsurface. Its distribution occupies the central part of the Sousa and Brejo das Freiras half-grabens, which constitute the main depocenters of the basin. Paleocurrent analysis shows that sediment transport was also from north/NW to south/SE

Tecnologia educacional: avaliação de um web site sobre Escala de Pessoal de Enfermagem

O uso da tecnologia de informática é uma realidade em todas as áreas do conhecimento humano, nos dias atuais. A incorporação tecnológica se faz nos serviços e no ensino, nos diferentes processos de trabalho do enfermeiro. Este estudo teve como objetivo avaliar um site desenvolvido sobre o tema Escala de Pessoal de Enfermagem, relevante na gestão de recursos humanos em saúde. A metodologia envolveu pesquisa quantitativa com docentes da área de administração em enfermagem, e alunos das oito Universidades Públicas do estado de São Paulo que formam enfermeiros. Entre os principais resultados, apontamos que 85% dos avaliadores consideraram o site excelente ou satisfatório. Além disso, foram analisados os comentários enviados por e-mail e as autoras fazem uma auto-avaliação. O site foi considerado de utilidade tanto para a prática profissional (81,7% entre excelente e satisfatório) como para o ensino (84,6% entre excelente e satisfatório).

A produção capitalista do espaço: os loteamentos, os condomínios fechados e o seu papel na formação do Bairro de Nova Parnamirim/Parnamirim-RN

This work exposed desired to investigate the function of evolution of closed allotment, of market of the earth and of forms of extraction of the lace of earth, in the processes capitalist production of urban space in Nova Parnamirim, community of Parnamirim/RN. This tendentious urbanization were marked for an expressive increase of number of horizontal and vertical closed residences joint ownership concerning at social groups more privileged financial position. Go after, set off, a temporal investigation, based in the forms of appropriation of space in the middle intermediate by action of the several producers agent of capitalist capital. This way, make necessary understand the past of local structure earth, in order that to make possible analyze the beginning of the process. Not enough, appealed the publics institutions as immobile notary s office and secretary municipal for to collect the more important information, and in the field through of application of formulary together the population of ward, in order that of examine the motivation of residential establishment inside. Make this, confirmed that the actual spatial organization of ward of Nova Parnamirim started of two allotments: the Vale do Pitimbú Park and Eucaliptos Park, both divided in several little allotments. Before of begin the ward, allotments reproduced set off from that native has been consigned during the 80, 90 decade s and begin the actual century, resigning a complicated urban structure earth, dynamized by exploration of a promising residential area. Leashed of this, confirmed the installation of logic of segregation and auto-segregation conducted by an immobile market which exclude the poor class and absorb rich class, motivate by perspective of obtaining of urban lace of earth by immobile promoter. However, perceived that the growth this market was promoted by migration of groups of capital, interior of state and others regions of country. Not distant, horizontal and vertical closed residences represent production forms of a new form of residence, corresponding the pattern architectonic as socioeconomics, strengthened by ideal of security, quality of life, necessity of reclusion and of proximity of Natal. Is in the capital which this individual found possibilities of attend satisfactory minimum of yours necessity in relation a consumption of bens and specialized and specifics services. Before this qualitative perceive that the social and spacial differential of Nova Parnamirim was the responsible by soil and habitation valorization of ward, that reinforce the promotion of segregation and of auto-segregation, and consequently, of capitalist reproduction of urban space

Território usado e transporte coletivo : mobilidade e acessibilidade no Bairro Lagoa Azul Natal/RN

Transport systems involved the use of territory in different Brazilian cities with regard to the occupation of road systems in urban areas. The implementation of systems engineering and transport infrastructure such as roads (roads), signs, stops, stations and complex road (bridges, viaducts and tunnels) are not used in the same way in the area. The subway is not even use the bus and vice versa. The time spent in travel, the time to access and the number of trips made by passengers in each way of transport is not the same. The use of transport systems in the territory, therefore, takes place through a whole in the current period we are in the technicalscientific and informational. This work addresses, however, the area used as a synonym of geographical area, analyzed by two categories of analysis, systems of objects formed by the fixed and the systems formed by the action flows. The system analyzed is the public transport by bus and population displacement that makes using this medium with source destination from home to work and has as empirical cut the Lagoa Azul located in the district administrative area north of Natal / RN. The general objective of this research is to understand the extent to which public transport has contributed to the socio-spatial accessibility of the residents of Barrio Blue Lagoon, located in Natal-RN, emphasizing the way home and the workplace. To reach the general objective of this dissertation, a study was made in light of the line which the methodological empirical facts, statistical data and theoretical knowledge of the events that occur in the quarter related to the Lagoa Azul economic aspects. Use for this, the concepts of mobility and Accessibility

Dinâmica costeira entre as praias de Areia Preta e do Forte, Natal/RN

The coastal zone has been studied worldwide with a focus on the coastal erosion. In the present days, much of the world's coastlines are being affected by erosion, which causes great damage to the economy. This work had as study case the beaches of Areia Preta, Artistas, Meio and Forte located in Natal in Rio Grande do Norte. It shows as result the monitoring of the beach strip that makes possible to obtain quantitative and qualitative data, allows the study of the coastal dynamics of the beaches and the Recovery Project of the Areia Preta beach interference on adjacent beaches. This research was guided by the integrated analysis method on the systemic perspective. The pratical procedures adopted were: bibliographic research; fieldwork during eleven months (environmental characterization, collection of hydrodynamic data, topographic leveling, collection of sediments) and; sedimentological analysis of samples collected. By monitoring of the points A, B, C, D and E we were able to find the occurrence of the coastal erosion on their biggest part except by the C and D profiles. It was noted the need for the government to complete the hydraulic fill, as it made only 60% of the landfill planed. It was found that the spikes built on the beach of Areia Preta are preventing the natural transport of sediments that the longshore performs towards South-North. This interference is causing the lack of sediment on the beaches of Forte and Meio and their coastal erosion in consequence

As transformações fundiárias da comunidade de sibaúma-rn com o advento do turismo

The genesis of the research emerges from reflection about the space dynamics of the capital and to the capital. The expansion and the incorporation of territory for capital reveal, in part, strategies of the capitalism production way, which shows the search for accumulation conditions, expanding the alternatives of territory use that is, nowadays, selective and uneven. The present work verified the mechanisms where the capital imposes its practices through the agrarian structure and the valuation of land market, meaning, in our knowledge, that the reproduction of inequalities is showed, many times, by the wide land speculation and the fast land valuation. For this, the snip space will be the Sibaúma community, belonging to Tibau do Sul district, located in Rio Grande do Norte state. It‟s a rural area that has, gradually, changing through the advent of urban characteristics, given the association of public and private investments, both domestic and international. Through the empirical observations, inside the Sibaúma community, it was found expansion strategies, incorporation and appropriation of territory by capital. As a result of this practice, it‟s occurring the land valuation and the presence of a process of socio-spatial segregation, through the encouraging the opening of new subdivisions, mainly for construction of second homes and tourism enterprises in order to meet the demand of a higher socioeconomic level. The areas still available in Sibaúma, constitute into a reserve of value for the achievement of capitalist rent, being a mechanism of capital reproduction. In this way, to studying the socio-spatial transformations, caused by spatial valuation, we turn to the project of social space designed by Santos(2006), from the perspective of capitalist production of space, by understanding the historical process of formation, the mechanisms and the actions of social actors that produce and consume space

Agricultura familiar integrada ao mercado: mediação política e transformações socioespaciais no assentamento rural Vale do Lírio/RN

It s an application about the development of the family agriculture integrated to the market in which is detected the development of the relation of partnership between settled of agrarian reform and the capitalist enterprise. It s shown initially, a conceptual discussion about family agriculture, watching the historical contexts that characterize the expropriation and subordination of the category. This way, the family agriculture is contextual zed in the moment of the modernization of the agriculture, he rising of the social tension in the area of the restructuration of production and the globalization. Finding to understand the agrarian question in Rio Grande do Norte, it s characterized the acting of the state in promoting agrarian reform politics and redistribution of lands. This way, the research demonstrate the reality of the settled of Vale do Lírio, with the partnership of the Caliman Company S. A. in this context, it s emphasized the social geographic transformation in the settler. This way it was realized the analysis of the survey of data in a lot of public department, and the research of the area with use of application form, in 90% percent of the researched group, with interviewing with the leaders of this group and with the manager of the Company. The research demonstrates an analysis of the reality lived by this group, in the perspective the interests of the government and the capital.

As praças públicas de Natal/RN no âmbito dos problemas socioambientais urbanos

This paper presents the public square as a subsystem of the city for the potential integration of elements 'natural' and built environment. But sometimes the suitability of projects and the social processes involved are not compatible and favorable to their real functions in urban space. The city of Natal, with a population of 803,739 inhabitants has 253 public parks not uniformly distributed in the urban area, but mostly in central areas and their absence in some peripheral neighborhoods. In this sense, the objective of this paper is to analyze the quality and spatiality of the city's public squares within the urban socio-environmental problems. For this, use of simple random sampling to define the sample and the proportional allocation of districts, totaling 168 squares to be raised. We prepared a form to collect data on the field that includes aspects of leisure, infrastructure and environment. For each square sampled was calculated Square Quality Index (PQI), then calculating the average per IQP neighborhood. The rates found were crossed with census data and Municipal Public Administration by neighborhood, using multivariate analysis. We generated maps, charts and tables, considered appropriate to each question format, focused comparison. The public square appears as an indicator of environmental challenges present in intra-urban spaces of the city. Their spatial distribution is not consistent demand population, both by disposition and by how much. In terms of quality are characterized by different levels of inadequacy and degradation aspects of leisure, environmental and infrastructure, often causing disfigurement, abandonment and improper occupation in such spaces. Multivariate analysis point to a central concentration and their problems in certain administrative units, not only as regards the public squares, but also to aspects of education, income, and other violence, perpetuating the problem. The various levels of inadequacy and degradation of public squares have been more blatant in the poorest neighborhoods of the city, pointing to a structural pattern associated with the intrinsic characteristics of the neighborhood and the socioeconomic profile of the local population. These are problems of social and environmental dimensions, threaded in and influenced the political, economic and broader social process of transformation of the city and the urban. Based on an uneven process in which space necessarily reflect the contradictions inherent in the active forces and interests. Thus evidencing the importance of managing the necessary public effectively engaged with the problems that are present there, in order to equate them, without being prioritized certain areas of the city at the expense of others

Inferência geográfica para delimitação de corredores ecológicos: um estudo de caso para a Mata Atlântica do município de Tibau do Sul/RN

The Atlantic Forest biome occupies much of the Atlantic coast of Brazil, in addition to portions of Paraguay and Argentina. Due mainly to its biodiversity which falls in the group of global hotspots, i.e., areas that have high priority for conservation. Although currently there are some available devices that assist in their protection in the course of the history of occupation and exploitation of the Brazilian territory, this biome has gone, and is still going through, an intense process of devastation, caused mainly by the pressure from economic activities, culminating in a significant reduction of its area and consequent fragmentation of the landscape, which brings with hosts a series of problems at various scales and aspects. As in most municipalities included in the reach area of the biome, the situation of forest fragmentation in Tibau do Sul / RN is quite critical, reflecting on a truly diverse landscape with broad typology of land uses. Among the alternatives aimed at the conservation of this biome include the creation of protected areas and the creation of ecological corridors, the latter being more efficient by connecting the remaining forests, increasing landscape connectivity, providing significant gains in relation to biodiversity. However, a major problem on implementation of Ecological Corridors projects is related to the selection of areas for this purpose, in this sense Geography can provide important contributions through the integrated study of landscape in the light of the geosystemic approach and the use of Geographical Information System (GIS) in order to permit assessment of reality having as a base the integration of ecological, biological and man-made aspects. Thus, this research aims to indicate potential areas and propose scenarios delimitation of Ecological Corridors in the municipality of Tibau do Sul / RN through Geographic Inference techniques in GIS platform. Therefore, the methodology adopted is based on the Geosystemic approach. From these elements were created 4 models to indicate potential areas for implementation of Ecological Corridors from the environmental perspective (potential erosion), socioeconomic (cover and land prices), legislative (areas protected by environmental legislation) and integrated (combination of environmental factors, socioeconomic and legislative), which in turn served as a basis for proposing scenarios aimed at this purpose. The results showed that all models can be quite useful in indicating potential areas for the establishment of ecological corridors, especially when based on an integrated approach between environmental and anthropogenic. The Corridors delimitation proposes shown may perform duties beyond the establishment of connectivity between fragments, since they also may have usefulness in controlling erosion and protecting fragile environments. Among the models developed, the integrated constituted itself as the best option because it enabled the interconnection of a larger number of fragments from a better use of the potentialities present in the landscape

O espaço do consumo e o consumo do espaço no município de Macaíba-RN a partir das festas de Vaquejada (1980-2012)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Análise da vulnerabilidade ambiental no estuário do Rio Curimataú/Cunhaú, Baía Formosa e Canguaretama - RN

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Lugar, saúde e informação: os círculos de informação da atenção básica do SUS no contexto na disputa pelo conceito de saúde

Through the analysis of the informational activity at the primary care of SUS at the scale of places, this dissertation has as central objective to observe the dispute for the concepts of health and sickness, in the ambit of Brazilian Health Movement, featuring, on one hand, the clinic, biomedical or flexnerian line hegemonic, scientifically restrict and the primary frame of references for the Brazilian health politics and on the other hand a multiplicity of new proposals and critic thoughts to the current model, which have , as common characteristic, the worry with a territorial way of thinking the health context, therefore beyond the biological processes. On the first chapter we jut out with details these scientific and ideological movements, on a wider way, but also on the specificities of the public health s information politics. On the second chapter we analyze the downward health information circle at the basic care, observing the operational processes of the information s technical systems SIAB and e-SUS. On the third and last chapter, we give references to think about an upward health information circle, centered on the places, ruled by the notions of autonomy, organic solidarity and communicational density. It would possess, as method s primary horizon, the local organization of production and managing of information through the work of the Health Community Agent, privileging therefore the urgency of the most contingent needs of the people in theirs every day s life

Política de regularização de terras quilombolas: identidades e territorialidades negras em Portalegre - RN

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior