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

Of madness and many-valuedness: an investigation into Suszko's Thesis

Suszko’s Thesis is a philosophical claim regarding the nature of many-valuedness. It was formulated by the Polish logician Roman Suszko during the middle 70s and states the existence of “only but two truth values”. The thesis is a reaction against the notion of many-valuedness conceived by Jan Łukasiewicz. Reputed as one of the modern founders of many-valued logics, Łukasiewicz considered a third undetermined value in addition to the traditional Fregean values of Truth and Falsehood. For Łukasiewicz, his third value could be seen as a step beyond the Aristotelian dichotomy of Being and non-Being. According to Suszko, Łukasiewicz’s ideas rested on a confusion between algebraic values (what sentences describe/denote) and logical values (truth and falsity). Thus, Łukasiewicz’s third undetermined value is no more than an algebraic value, a possible denotation for a sentence, but not a genuine logical value. Suszko’s Thesis is endorsed by a formal result baptized as Suszko’s Reduction, a theorem that states every Tarskian logic may be characterized by a two-valued semantics. The present study is intended as a thorough investigation of Suszko’s thesis and its implications. The first part is devoted to the historical roots of many-valuedness and introduce Suszko’s main motivations in formulating the double character of truth-values by drawing the distinction in between algebraic and logical values. The second part explores Suszko’s Reduction and presents the developments achieved from it; the properties of two-valued semantics in comparison to many-valued semantics are also explored and discussed. Last but not least, the third part investigates the notion of logical values in the context of non-Tarskian notions of entailment; the meaning of Suszko’s thesis within such frameworks is also discussed. Moreover, the philosophical foundations for non-Tarskian notions of entailment are explored in the light of recent debates concerning logical pluralism.

Análise teórico-experimental do coeficiente de perfomance (COP) de um sistema de refrigeração por jato-compressão

The use of waste heat of energy conversion equipment to produce a cooling effect, consists currently in a very interesting way of efficiency improvement of energy systems. The present research has as intention the theoretical and experimental study of a new intermittent refrigeration system ejector cycle characteristics, with use of waste heat. Initially, was doing a bibliographical survey about the vapor ejector refrigeration system technology. In the following stage was doing a simulation of the corresponding thermodynamic cycle, with preliminarily intention to evaluate the performance of the system for different refrigerants fluids. On the basis of the results of the simulation were selected the refrigerant fluid and developed an experimental group of benches of the refrigeration system considered, where pressure and temperature sensory had been inserted in strategical points of the refrigeration archetype and connected to a computerized data acquisition system for measure the refrigerant fluid properties in the thermodynamic cycle. The test results obtained show good agreement with the literature

Estudo da usabilidade do portal do aluno do SIGAA Mobile Android da UFRN: identificando diretrizes de interface a serem utilizadas como recomendações no processo de desenvolvimento das funcionalidades deste sistema

Avaliação de usabilidade é um processo importante durante o desenvolvimento de um software, seja ele para um sistema web ou mobile. No caso de um sistema mobile, o custo é bastante oneroso, tanto no que se refere à mão de obra especializada, como de recursos tecnológicos utilizados, tornando essa avaliação de usabilidade ainda mais importante. Além disso, as versões webdos sistemas SIG da UFRN já estão consolidadas e com uma grande aceitação, fazendo com que suas versões mobile tenham, ainda mais, a preocupação de lançar um produto de boa qualidade para manter essa credibilidade dos sistemas SIG , tanto na UFRN, como nas demais instituições que utilizam esses sistemas. Com este trabalho, buscou-se identificar algumas diretrizes de interface que possam ser utilizadas no processo de desenvolvimento dos sistemas SIG Mobile, mais especificamente o SIGAA Mobile, de modo a facilitar o desenvolvimento de novas funcionalidades voltadas para estes sistemas. Para isso, foi realizada uma avaliação de usabilidade no Portal do Aluno do SIGAA Mobile Android, tomando como base padrões de interface já existentes na literatura. Posteriormente, foi aplicado um questionário com os usuários do sistema para coletar as opiniões e sugestões dos mesmos. De posse de todos esses dados coletados, foi possível definir algumas diretrizes de interface a serem seguidas como recomendações no processo de desenvolvimento dos sistemas SIG Mobile.

Estudo teórico das propriedades eletrônicas e termodinâmicas de nanofitas quasiperiódicas BCN

Nanoscale materials composed of boron, nitrogen, and carbon have unique properties and may be useful in new technologies. In this thesis, we investigate some properties of BCN nanoribbons constructed according to the Fibonacci quasiperiodic sequence. We analyze properties such as structural stability, electronic density of states, electronic specific heat, band structure, and energy band gap. We have performed first-principles calculations based on density functional theory implemented in the SIESTA code. The results showed that nanoribbons present a fixed value of the formation energy. The electronic density of states was used to calculate the specific heat. We found an oscillatory behavior of the electronic specific heat, in the low temperature regime. We analyze the electronic band structure to determine the energy band gap. The energy band gap oscillates as a function of the Fibonacci generation index n. Our work suggest that appropriate choice of the building block materials of the quasiperiodic sequence, may lead to a tuneable band gap of the quasiperiodic nanoribbons.