Local Politicizations : A Comparison of Finns and French Practicing Democracy

This study examines how do the processes of politicization differ in the Finnish and the French local contexts, and what kinds of consequences do these processes have on the local civic practices, the definitions and redefinitions of democracy and citizenship, the dynamics of power and resistance, and the ways of solving controversies in the public sphere. By means of comparative anthropology of the state , focusing on how democracy actually is practiced in different contexts, politicizations the processes of opening political arenas and recognizing controversy are analyzed. The focus of the study is on local activists engaged in different struggles on various levels of the local public spheres, and local politicians and civil servants participating in these struggles from their respective positions, in two middle-size European cities, Helsinki and Lyon. The empirical analyses of the book compare different political actors and levels of practicing democracy simultaneously. The study is empirically based on four different bodies of material: Ethnographic notes taken during a fieldwork among the activities of several local activist groups; 47 interviews of local activists and politicians; images representing different levels of public portrayals from activist websites (Helsinki N=274, Lyon N=232) and from city information magazines (Helsinki-info N=208, Lyon Citoyen N= 357); and finally, newspaper articles concerning local conflict issues, and reporting on the encounters between local citizens and representatives of the cities (January-June in 2005; Helsingin Sanomat N=96 and Le Progrès N= 102). The study makes three distinctive contributions to the study of current democratic societies: (1) a conceptual one by bringing politicization at the center of a comparison of political cultures, and by considering in parallel the ethnographic group styles theory by Nina Eliasoph and Paul Lichterman, the theory on counter-democracy by Pierre Rosanvallon and the pragmatist justification theory by Luc Boltanski and Laurent Thévenot; (2) an empirical one through the triangulation of ethnographic, thematic interview, visual, and newspaper data through which the different aspects of democratic practices are examined; and (3) a methodological one by developing new ways of analyzing comparative cases an application of Frame Analysis to visual material and the creation of Public Justification Analysis for analyzing morally loaded claims in newspaper reports thus building bridges between cultural, political, and pragmatic sociology. The results of the study indicate that the cultural tools the Finnish civic actors had at their disposal were prone to hinder more than support politicization, whereas the tools the French actors mainly relied on were frequently apt for making politicization possible. This crystallization is defined and detailed in many ways in the analyses of the book. Its consequences to the understanding and future research on the current developments of democracy are multiple, as politicization, while not assuring good results as such, is central to a functioning and vibrant democracy in which injustices can be fixed and new directions and solutions sought collectively.

Personporträttet som tidningsgenre : En närläsningsstudie med fokus på innehållsliga teman, berättarkonventioner och kön

The thesis The portrait interview as a newspaper genre. A qualitative close reading focussing on topical motifs, conventions of narration, and gender defines the portrait interview as a newspaper genre and analyses how the personalities in the portraits are constructed textually. The main body of material consists of 107 portrait interviews in two morning newspapers, Dagens Nyheter (published in Stockholm, Sweden) and Hufvudstadsbladet (published in Swedish in Helsinki, Finland), during two one-week periods (week 46/1999 and week 38/2002). There is also complementary material of 59 portraits from four magazines. The study is carried out within the research traditions of journalistic genre studies, gender and journalism, and critical text analysis. It is comprised of a qualitative close reading focussing on content (topical motifs or themes), conventions of narration, and gender. The methods used to carry out the study are qualitative close reading and quantitative content analysis. The analysis identifies the stylistic elements that differentiate the portrait genre from other journalistic genres, as well as from the autobiographical genre, and explores what opportunities and limitations these elements present for the inclusion of even more women protagonists in the portrait genre. The portrait interview is an exception from the critical mission of journalism in general, with its position as a genre of politeness. Since a typical characteristic of the portrait interview genre is that it pays tribute to the protagonist, the genre reveals the kind of personalities and lives that are seen as admirable in society. Four levels of portrait interview are defined: the prototype portrait, the pure portrait, the hybrid portrait and the marginal portrait. The prototype is a raw version of a portrait that fulfils the criteria but may be lacking in content and stylistics. The pure portrait does not lack these qualities and resembles an ideal portrait. The hybrid is a borderline case which relates to another genre or is a mixture between the portrait and some other genre, most commonly the news genre. The marginal portrait does not fulfil the criteria, and can therefore be seen as an inadequate portrait. For example, obituaries and caricatures are excluded if the protagonist s voice is never quoted. The analysis resulted in three factors that in part help to explain why the portrait interview genre has somewhat more female protagonists than journalistic news texts do in general. The four main reasons why women are presented somewhat more in the portrait genre than in other journalistic genres are: (i) women are shown as exceptions to the female norm when, for example, taking a typical male job or managing in positions where there are few women; (ii) women are shown as representing female themes ; (iii) use of the double bind as a story-generating factor; and (iv) the intimisation of journalism. The double bind usually builds up the narration on female ambiguity in the contradiction between private and public life, for example family and career, personal desire and work. The intimisation of journalism and the double bind give women protagonists somewhat more publicity also because of the tendency of portrait interviews to create conflicts within the protagonist, as an exception to journalism in general where conflicts are created or seen as existing between, for example, persons, groupings or parties. Women protagonists and their lives create an optimal narration of inner conflicts originating in the double bind as men are usually not seen as suffering from these conflicts. The analysis also resulted in gendered portrait norms: The feminine portrait norm and the masculine portrait norm or more concretely, professional life and family life as expectation and exception. Women are expected to be responsible parents and mediocre professionals, while men are expected to be professionals and in their free time engaging fathers. Key words: journalism, genre, portrait interview, gender, interview, newspaper, women s magazine.

Expression of lactate transporters MCT1, MCT2, MCT4 and the ancillary protein CD147 in horse muscle and red blood cells

Monocarboxylate transporters (MCTs) transport lactate and protons across cell membranes. During intense exercise, lactate and protons accumulate in the exercising muscle and are transported to the plasma. In the horse, MCTs are responsible for the majority of lactate and proton removal from exercising muscle, and are therefore also the main mechanism to hinder the decline in pH in muscle cells. Two isoforms, MCT1 and MCT4, which need an ancillary protein CD147, are expressed in equine muscle. In the horse, as in other species, MCT1 is predominantly expressed in oxidative fibres, where its likely role is to transport lactate into the fibre to be used as a fuel at rest and during light work, and to remove lactate during intensive exercise when anaerobic energy production is needed. The expression of CD147 follows the fibre type distribution of MCT1. These proteins were detected in both the cytoplasm and sarcolemma of muscle cells in the horse breeds studied: Standardbred and Coldblood trotters. In humans, training increases the expression of both MCT1 and MCT4. In this study, the proportion of oxidative fibres in the muscle of Norwegian-Swedish Coldblood trotters increased with training. Simultaneously, the expression of MCT1 and CD147, measured immunohistochemically, seemed to increase more in the cytoplasm of oxidative fibres than in the fast fibre type IIB. Horse MCT4 antibody failed to work in immunohistochemistry. In the future, a quantitative method should be introduced to examine the effect of training on muscle MCT expression in the horse. Lactate can be taken up from plasma by red blood cells (RBCs). In horses, two isoforms, MCT1 and MCT2, and the ancillary protein CD147 are expressed in RBC membranes. The horse is the only species studied in which RBCs have been found to express MCT2, and the physiological role of this protein in RBCs is unknown. The majority of horses express all three proteins, but 10-20% of horses express little or no MCT1 or CD147. This leads to large interindividual variation in the capacity to transport lactate into RBCs. Here, the expression level of MCT1 and CD147 was bimodally distributed in three studied horse breeds: Finnhorse, Standardbred and Thoroughbred. The level of MCT2 expression was distributed unimodally. The expression level of lactate transporters could not be linked to performance markers in Thoroughbred racehorses. In the future, better performance indexes should be developed to better enable the assessment of whether the level of MCT expression affects athletic performance. In human subjects, several mutations in MCT1 have been shown to cause decreased lactate transport activity in muscle and signs of myopathy. In the horse, two amino acid sequence variations, one of which was novel, were detected in MCT1 (V432I and K457Q). The mutations found in horses were in different areas compared to mutations found in humans. One mutation (M125V) was detected in CD147. The mutations found could not be linked with exercise-induced myopathy. MCT4 cDNA was sequenced for the first time in the horse, but no mutations could be detected in this protein.

Mapping Road Infrastructure in Developing Countries Applying Remote Sensing and GIS - The Case of the Taita Hills, Kenya

Road transport and infrastructure has a fundamental meaning for the developing world. Poor quality and inadequate coverage of roads, lack of maintenance operations and outdated road maps continue to hinder economic and social development in the developing countries. This thesis focuses on studying the present state of road infrastructure and its mapping in the Taita Hills, south-east Kenya. The study is included as a part of the TAITA-project by the Department of Geography, University of Helsinki. The road infrastructure of the study area is studied by remote sensing and GIS based methodology. As the principal dataset, true colour airborne digital camera data from 2004, was used to generate an aerial image mosaic of the study area. Auxiliary data includes SPOT satellite imagery from 2003, field spectrometry data of road surfaces and relevant literature. Road infrastructure characteristics are interpreted from three test sites using pixel-based supervised classification, object-oriented supervised classifications and visual interpretation. Road infrastructure of the test sites is interpreted visually from a SPOT image. Road centrelines are then extracted from the object-oriented classification results with an automatic vectorisation process. The road infrastructure of the entire image mosaic is mapped by applying the most appropriate assessed data and techniques. The spectral characteristics and reflectance of various road surfaces are considered with the acquired field spectra and relevant literature. The results are compared with the experimented road mapping methods. This study concludes that classification and extraction of roads remains a difficult task, and that the accuracy of the results is inadequate regardless of the high spatial resolution of the image mosaic used in this thesis. Visual interpretation, out of all the experimented methods in this thesis is the most straightforward, accurate and valid technique for road mapping. Certain road surfaces have similar spectral characteristics and reflectance values with other land cover and land use. This has a great influence for digital analysis techniques in particular. Road mapping is made even more complicated by rich vegetation and tree canopy, clouds, shadows, low contrast between roads and surroundings and the width of narrow roads in relation to the spatial resolution of the imagery used. The results of this thesis may be applied to road infrastructure mapping in developing countries on a more general context, although with certain limits. In particular, unclassified rural roads require updated road mapping schemas to intensify road transport possibilities and to assist in the development of the developing world.

Dietary habits and obesity: the role of emotional and cognitive factors

In post-industrialised societies, food is more plentiful, accessible and palatable than ever before and technological development has reduced the need for physical activity. Consequently, the prevalence of obesity is increasing, which is problematic as obesity is related to a number of diseases. Various psychological and social factors have an important influence on dietary habits and the development of obesity in the current food-rich and sedentary environments. The present study concentrates on the associations of emotional and cognitive factors with dietary intake and obesity as well as on the role these factors play in socioeconomic disparities in diet. Many people cognitively restrict their food intake to prevent weight gain or to lose weight, but research on whether restrained eating is a useful weight control strategy has produced conflicting findings. With respect to emotional factors, the evidence is accumulating that depressive symptoms are related to less healthy dietary intake and obesity, but the mechanisms explaining these associations remain unclear. Furthermore, it is not fully understood why socioeconomically disadvantaged individuals tend to have unhealthier dietary habits and the motives underlying food choices (e.g., price and health) could be relevant in this respect. The specific aims of the study were to examine 1) whether obesity status and dieting history moderate the associations of restrained eating with overeating tendencies, self-control and obesity indicators; 2) whether the associations of depressive symptoms with unhealthier dietary intake and obesity are attributable to a tendency for emotional eating and a low level of physical activity self-efficacy; and 3) whether the absolute or relative importance of food choice motives (health, pleasure, convenience, price, familiarity and ethicality) contribute to the socioeconomic disparities in dietary habits. The study was based on a large population-based sample of Finnish adults: the participants were men (N=2325) and women (N=2699) aged 25-74 who took part in the DILGOM (Dietary, Lifestyle and Genetic Determinants of Obesity and Metabolic Syndrome) sub-study of the National FINRISK Study 2007. The participants weight, height, waist circumference and body fat percentage were measured in a health examination. Psychological eating styles (the Three-Factor Eating Questionnaire-R18), food choice motives (a shortened version of the Food Choice Questionnaire), depressive symptoms (the Center for Epidemiological Studies Depression Scale) and self-control (the Brief Self-Control Scale) were measured with pre-existing questionnaires. A validated food frequency questionnaire was used to assess the average consumption of sweet and non-sweet energy-dense foods and vegetables/fruit. Self-reported total years of education and gross household income were used as indicators of socioeconomic position. The results indicated that 1) restrained eating was related to a lower body mass index, waist circumference, emotional eating and uncontrolled eating, and to a higher self-control in obese participants and current/past dieters. In contrast, the associations were the opposite in normal weight individuals and those who had never dieted. Thus, restrained eating may be related to better weight control among obese individuals and those with dieting experiences, while among others it may function as an indicator of problems with eating and an attempt to solve them. 2) Emotional eating and depressive symptoms were both related to less healthy dietary intake, and the greater consumption of energy-dense sweet foods among participants with elevated depressive symptoms was attributable to the susceptibility for emotional eating. In addition, emotional eating and physical activity self-efficacy were both important in explaining the positive association between depressive symptoms and obesity. 3) The lower vegetable/fruit intake and higher energy-dense food intake among individuals with a low socioeconomic position were partly explained by the higher priority they placed on price and familiarity and the lower priority they gave to health motives in their daily food choices. In conclusion, although policy interventions to change the obesogenic nature of the current environment are definitely needed, knowledge of the factors that hinder or facilitate people s ability to cope with the food-rich environment is also necessary. This study implies that more emphasis should be placed on various psychological and social factors in weight control programmes and interventions.

Optimal scheduling of multiple chlorine sources in water distribution systems

The specified range of free chlorine residual (between minimum and maximum) in water distribution systems needs to be maintained to avoid deterioration of the microbial quality of water, control taste and/or odor problems, and hinder formation of carcino-genic disinfection by-products. Multiple water quality sources for providing chlorine input are needed to maintain the chlorine residuals within a specified range throughout the distribution system. The determination of source dosage (i.e., chlorine concentrations/chlorine mass rates) at water quality sources to satisfy the above objective under dynamic conditions is a complex process. A nonlinear optimization problem is formulated to determine the chlorine dosage at the water quality sources subjected to minimum and maximum constraints on chlorine concentrations at all monitoring nodes. A genetic algorithm (GA) approach in which decision variables (chlorine dosage) are coded as binary strings is used to solve this highly nonlinear optimization problem, with nonlinearities arising due to set-point sources and non-first-order reactions. Application of the model is illustrated using three sample water distribution systems, and it indicates that the GA,is a useful tool for evaluating optimal water quality source chlorine schedules.

Open source drug discovery- A new paradigm of collaborative research in tuberculosis drug development

It is being realized that the traditional closed-door and market driven approaches for drug discovery may not be the best suited model for the diseases of the developing world such as tuberculosis and malaria, because most patients suffering from these diseases have poor paying capacity. To ensure that new drugs are created for patients suffering from these diseases, it is necessary to formulate an alternate paradigm of drug discovery process. The current model constrained by limitations for collaboration and for sharing of resources with confidentiality hampers the opportunities for bringing expertise from diverse fields. These limitations hinder the possibilities of lowering the cost of drug discovery. The Open Source Drug Discovery project initiated by Council of Scientific and Industrial Research, India has adopted an open source model to power wide participation across geographical borders. Open Source Drug Discovery emphasizes integrative science through collaboration, open-sharing, taking up multi-faceted approaches and accruing benefits from advances on different fronts of new drug discovery. Because the open source model is based on community participation, it has the potential to self-sustain continuous development by generating a storehouse of alternatives towards continued pursuit for new drug discovery. Since the inventions are community generated, the new chemical entities developed by Open Source Drug Discovery will be taken up for clinical trial in a non-exclusive manner by participation of multiple companies with majority funding from Open Source Drug Discovery. This will ensure availability of drugs through a lower cost community driven drug discovery process for diseases afflicting people with poor paying capacity. Hopefully what LINUX the World Wide Web have done for the information technology, Open Source Drug Discovery will do for drug discovery. (C) 2011 Elsevier Ltd. All rights reserved.

Curcumin reduces the antimicrobial activity of ciprofloxacin against Salmonella Typhimurium and Salmonella Typhi

Typhoidal and non-typhoidal infection by Salmonella is a serious threat to human health. Ciprofloxacin is the last drug of choice to clear the infection. Ciprofloxacin, a gyrase inhibitor, kills bacteria by inducing chromosome fragmentation, SOS response and reactive oxygen species (ROS) in the bacterial cell. Curcumin, an active ingredient from turmeric, is a major dietary molecule among Asians and possesses medicinal properties. Our research aimed at investigating whether curcumin modulates the action of ciprofloxacin. We investigated the role of curcumin in interfering with the antibacterial action of ciprofloxacin in vitro and in vivo. RTPCR, DNA fragmentation and confocal microscopy were used to investigate the modulation of ciprofloxacin-induced SOS response, DNA damage and subsequent filamentation by curcumin. Chemiluminescence and nitroblue tetrazolium reduction assays were performed to assess the interference of curcumin with ciprofloxacin-induced ROS. DNA binding and cleavage assays were done to understand the rescue of ciprofloxacin-mediated gyrase inhibition by curcumin. Curcumin interferes with the action of ciprofloxacin thereby increasing the proliferation of Salmonella Typhi and Salmonella Typhimurium in macrophages. In a murine model of typhoid fever, mice fed with curcumin had an increased bacterial burden in the reticuloendothelial system and succumbed to death faster. This was brought about by the inhibition of ciprofloxacin-mediated downstream signalling by curcumin. The antioxidant property of curcumin is crucial in protecting Salmonella against the oxidative burst induced by ciprofloxacin or interferon (IFN), a pro-inflammatory cytokine. However, curcumin is unable to rescue ciprofloxacin-induced gyrase inhibition. Curcumins ability to hinder the bactericidal action of ciprofloxacin and IFN might significantly augment Salmonella pathogenesis.

Mobile node authentication using key distribution scheme in wireless sensor networks

We consider the problem of secure communication in mobile Wireless Sensor Networks (WSNs). Achieving security in WSNs requires robust encryption and authentication standards among the sensor nodes. Severe resources constraints in typical Wireless Sensor nodes hinder them in achieving key agreements. It is proved from past studies that many notable key management schemes do not work well in sensor networks due to their limited capacities. The idea of key predistribution is not feasible considering the fact that the network could scale to millions. We prove a novel algorithm that provides robust and secure communication channel in WSNs. Our Double Encryption with Validation Time (DEV) using Key Management Protocol algorithm works on the basis of timed sessions within which a secure secret key remains valid. A mobile node is used to bootstrap and exchange secure keys among communicating pairs of nodes. Analysis and simulation results show that the performance of the DEV using Key Management Protocol Algorithm is better than the SEV scheme and other related work.

Case for multiple views of function in design based on a common definition

Functions are important in designing. However, several issues hinder progress with the understanding and usage of functions: lack of a clear and overarching definition of function, lack of overall justifications for the inevitability of the multiple views of function, and scarcity of systematic attempts to relate these views with one another. To help resolve these, the objectives of this research are to propose a common definition of function that underlies the multiple views in literature and to identify and validate the views of function that are logically justified to be present in designing. Function is defined as a change intended by designers between two scenarios: before and after the introduction of the design. A framework is proposed that comprises the above definition of function and an empirically validated model of designing, extended generate, evaluate, modify, and select of state-change, and an action, part, phenomenon, input, organ, and effect model of causality (Known as GEMS of SAPPhIRE), comprising the views of activity, outcome, requirement-solution-information, and system-environment. The framework is used to identify the logically possible views of function in the context of designing and is validated by comparing these with the views of function in the literature. Describing the different views of function using the proposed framework should enable comparisons and determine relationships among the various views, leading to better understanding and usage of functions in designing.

Is Granger Causality a Viable Technique for Analyzing fMRI Data?

Multivariate neural data provide the basis for assessing interactions in brain networks. Among myriad connectivity measures, Granger causality (GC) has proven to be statistically intuitive, easy to implement, and generate meaningful results. Although its application to functional MRI (fMRI) data is increasing, several factors have been identified that appear to hinder its neural interpretability: (a) latency differences in hemodynamic response function (HRF) across different brain regions, (b) low-sampling rates, and (c) noise. Recognizing that in basic and clinical neuroscience, it is often the change of a dependent variable (e.g., GC) between experimental conditions and between normal and pathology that is of interest, we address the question of whether there exist systematic relationships between GC at the fMRI level and that at the neural level. Simulated neural signals were convolved with a canonical HRF, down-sampled, and noise-added to generate simulated fMRI data. As the coupling parameters in the model were varied, fMRI GC and neural GC were calculated, and their relationship examined. Three main results were found: (1) GC following HRF convolution is a monotonically increasing function of neural GC; (2) this monotonicity can be reliably detected as a positive correlation when realistic fMRI temporal resolution and noise level were used; and (3) although the detectability of monotonicity declined due to the presence of HRF latency differences, substantial recovery of detectability occurred after correcting for latency differences. These results suggest that Granger causality is a viable technique for analyzing fMRI data when the questions are appropriately formulated.

Ley natural, diálogo social y convicciones creyentes

Resumen: El artículo plantea una lectura transversal del Documento de la Comisión Teológica Internacional, titulado “En busca de una ética universal: una nueva mirada sobre la ley natural” de tal manera que, a partir del reconocimiento de una ley natural que subyace a toda norma, se procura mostrar cómo esa convicción no impide la participación de los cristianos en el diálogo social. El autor señala las paradojas a las que conduce la ética de la discusión y el lugar de la discusión pública como estímulo para alcanzar la verdad. Enfatiza la importancia del amor a la verdad como condición necesaria para que una sociedad sea noble y respetable. Considera el lugar del diálogo y el consenso y la existencia de una verdad última que la inteligencia puede captar en el marco de un sano pluralismo. También aborda la relación entre este pluralismo y las religiones y su contribución al debate público.

Oposição e obstrução na Câmara dos Deputados

Investiga o Regimento Interno da Câmara dos Deputados com o objetivo de verificar se suas regras favorecem excessivamente a prática da obstrução, o que pode levar ao desequilíbrio da disputa parlamentar em favor daqueles - sobretudo os oposicionistas - que decidem obstruir as deliberações mediante a utilização de táticas protelatórias. O estudo centra sua análise na quantidade de tempo gasto com a votação dos diversos mecanismos de obstrução, tendo em vista o tempo regimental disponível para a Ordem do Dia, fase da sessão destinada exclusivamente à discussão e votação das diversas propostas legislativas. O objetivo é apurar se o tempo despendido com artifícios procrastinatórios (requerimentos, dentre outros) supera em demasia o destinado à apreciação da matéria principal. Na apreciação de medidas provisórias (MP), por exemplo, os cálculos efetuados nas simulações demonstram que a votação dos requerimentos, por si só, pode consumir mais da metade do tempo utilizado para votar uma única MP, o que foi confirmado pelos resultados verificados na análise dos casos concretos selecionados.

Ahalmen espaziala hezkuntza matematikoan

[EUS] Matematikaren irakaskuntzaren helburuenetako bat hezkuntza maila guztietan ikasleen ahalmen intelektualen garapena da. Ahalmen espazialaren trataera eskolan urria izan da, bereziki zenbakizko ahalmenak edota arrazonamenduzko ahalmenak izan duten trataerarekin konparatzen badugu. Hezkuntza Matematikoan egindako berrikusketek ahalmen espazialaren azterketaren garrantzia azpimarratzen dute nahiz eta erreferentzi marko baten ezak sakabanatzen eta zailtzen dituen emaitzen lorpena, behin betikoak izateko erreplikagarriak izan behar dutela jakinik. Ondoren proposatzen den ikerketa-lerroak ahalmen espaziala alderdi hirukoitz batetik abiaturik aztertu nahi du: egitura, garapena eta hobetze-proposamenak kontutan harturik. Hiru arlo horietan proposaturiko ereduek bermatuko dute diagnostiko zuzen bat, ikasleen ahalmen espaziala hobetuko duena.

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.