Estudo comparativo das propriedades mecânicas em compósitos da fibra modal e poliester

In the present work, three composites with distinct reinforcements (polyester, modal e polyester + modal), all if a unsaturated orthophthalic polyester resin as matrix were used, in order to conduct a comparative study by mechanical tests and water absorption. The fibre mats were prepared in a mat preparatory by immersion developed in the Textile Engineering Laboratory. The composites were manufactured using a closed mould process by compression using an unsaturated orthophthalic polyester resin as matrix and 1% MEK (methyl ethyl ketone peroxide) as an initiator. In each composite twelve samples with the dimensions of 150x25x3 mm were cut randomly for the mechanical analysis (tension x extension, three points bending and water absorption and Scanning Electron Micsroscopy). The mechanical tests were carried out in the Laboratório de Metais e Ensaios Mecânicos UFRN . All the analyses were carried out according to the ASTM norms. The resultant samples from the mechanical analysis were subjected for the Scanning Electron Microscopy analysis. Based on the results obtained, it was observed that the reinforced composite with two fibres (modal + polyester) presented better results in comparison to the other two composites both in the tension/extension as well on the three point bending tests. In the water absorption test, it was possible to observe an equilibrium in the water absorption by the modal and polyester composite, due to the union of the two fibres. In the SEM images, the regions of rupture in the composites as well as the adsorption between the fiber and the matrix could be observed

Sistemas de lógica modal em dedução natural

Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. This work is a presentation of some important known systems of modal logic in natural deduction, and some Normalization procedures for them, but it is also and mainly a presentation of a hierarchy of modal logic systems in natural deduction, from K until S5, together with an outline of a Normalization proof for the system K, which is a model for Normalization in other systems

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