From Display to Labelled Proofs for Tense Logics

We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt

Aristotle’s assertoric syllogistic and modern relevance logic

This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance logic or shows significant similarities with it. I prepare the grounds for a meaningful comparison by extracting the notion of relevance employed in the most influential work on modern relevance logic, Anderson and Belnap’s Entailment. This notion is characterized by two conditions imposed on the concept of validity: first, that some meaning content is shared between the premises and the conclusion, and second, that the premises of a proof are actually used to derive the conclusion. Turning to Aristotle’s Prior Analytics, I argue that there is evidence that Aristotle’s Assertoric Syllogistic satisfies both conditions. Moreover, Aristotle at one point explicitly addresses the potential harmfulness of syllogisms with unused premises. Here, I argue that Aristotle’s analysis allows for a rejection of such syllogisms on formal grounds established in the foregoing parts of the Prior Analytics. In a final section I consider the view that Aristotle distinguished between validity on the one hand and syllogistic validity on the other. Following this line of reasoning, Aristotle’s logic might not be a relevance logic, since relevance is part of syllogistic validity and not, as modern relevance logic demands, of general validity. I argue that the reasons to reject this view are more compelling than the reasons to accept it and that we can, cautiously, uphold the result that Aristotle’s logic is a relevance logic

Neuroprotective therapies in the NICU in term infants: present and future

Outcomes of neonatal encephalopathy (NE) have improved since the widespread implementation of therapeutic hypothermia (TH) in high-resource settings. While TH for NE in term and near-term infants has proven beneficial, 30–50% of infants with moderate-to-severe NE treated with TH still suffer death or significant impairments. There is therefore a critical need to find additional pharmacological and non-pharmacological interventions that improve the outcomes for these children. There are many potential candidates; however, it is unclear whether these interventions have additional benefits when used with TH. Although primary and delayed (secondary) brain injury starting in the latent phase after HI are major contributors to neurodisability, the very late evolving effects of tertiary brain injury likely require different interventions targeting neurorestoration. Clinical trials of seizure management and neuroprotection bundles are needed, in addition to current trials combining erythropoietin, stem cells, and melatonin with TH

Novel transcripts reveal a complex structure of the human TRKA gene and imply the presence of multiple protein isoforms

Publisher Copyright: © 2015 Luberg et al.Background: Tropomyosin-related kinase A (TRKA) is a nerve growth factor (NGF) receptor that belongs to the tyrosine kinase receptor family. It is critical for the correct development of many types of neurons including pain-mediating sensory neurons and also controls proliferation, differentiation and survival of many neuronal and non-neuronal cells. TRKA (also known as NTRK1) gene is a target of alternative splicing which can result in several different protein isoforms. Presently, three human isoforms (TRKAI, TRKAII and TRKAIII) and two rat isoforms (TRKA L0 and TRKA L1) have been described. Results: We show here that human TRKA gene is overlapped by two genes and spans 67 kb-almost three times the size that has been previously described. Numerous transcription initiation sites from eight different 5' exons and a sophisticated splicing pattern among exons encoding the extracellular part of TRKA receptor indicate that there might be a large variety of alternative protein isoforms. TrkA genes in rat and mouse appear to be considerably shorter, are not overlapped by other genes and display more straightforward splicing patterns. We describe the expression profile of alternatively spliced TRKA transcripts in different tissues of human, rat and mouse, as well as analyze putative endogenous TRKA protein isoforms in human SH-SY5Y and rat PC12 cells. We also characterize a selection of novel putative protein isoforms by portraying their phosphorylation, glycosylation and intracellular localization patterns. Our findings show that an isoform comprising mainly of TRKA kinase domain is capable of entering the nucleus. Conclusions: Results obtained in this study refer to the existence of a multitude of TRKA mRNA and protein isoforms, with some putative proteins possessing very distinct properties.publishersversionPeer reviewe

Increased gene sampling strengthens support for higher-level groups within leaf-mining moths and relatives (Lepidoptera: Gracillariidae)

Background: Researchers conducting molecular phylogenetic studies are frequently faced with the decision of what to do when weak branch support is obtained for key nodes of importance. As one solution, the researcher may choose to sequence additional orthologous genes of appropriate evolutionary rate for the taxa in the study. However, generating large, complete data matrices can become increasingly difficult as the number of characters increases. A few empirical studies have shown that augmenting genes even for a subset of taxa can improve branch support. However, because each study differs in the number of characters and taxa, there is still a need for additional studies that examine whether incomplete sampling designs are likely to aid at increasing deep node resolution. We target Gracillariidae, a Cretaceous-age (similar to 100 Ma) group of leaf-mining moths to test whether the strategy of adding genes for a subset of taxa can improve branch support for deep nodes. We initially sequenced ten genes (8,418 bp) for 57 taxa that represent the major lineages of Gracillariidae plus outgroups. After finding that many deep divergences remained weakly supported, we sequenced eleven additional genes (6,375 bp) for a 27-taxon subset. We then compared results from different data sets to assess whether one sampling design can be favored over another. The concatenated data set comprising all genes and all taxa and three other data sets of different taxon and gene sub-sampling design were analyzed with maximum likelihood. Each data set was subject to five different models and partitioning schemes of non-synonymous and synonymous changes. Statistical significance of non-monophyly was examined with the Approximately Unbiased (AU) test. Results: Partial augmentation of genes led to high support for deep divergences, especially when non-synonymous changes were analyzed alone. Increasing the number of taxa without an increase in number of characters led to lower bootstrap support; increasing the number of characters without increasing the number of taxa generally increased bootstrap support. More than three-quarters of nodes were supported with bootstrap values greater than 80% when all taxa and genes were combined. Gracillariidae, Lithocolletinae + Leucanthiza, and Acrocercops and Parectopa groups were strongly supported in nearly every analysis. Gracillaria group was well supported in some analyses, but less so in others. We find strong evidence for the exclusion of Douglasiidae from Gracillarioidea sensu Davis and Robinson (1998). Our results strongly support the monophyly of a G.B.R.Y. clade, a group comprised of Gracillariidae + Bucculatricidae + Roeslerstammiidae + Yponomeutidae, when analyzed with non-synonymous changes only, but this group was frequently split when synonymous and non-synonymous substitutions were analyzed together. Conclusions: 1) Partially or fully augmenting a data set with more characters increased bootstrap support for particular deep nodes, and this increase was dramatic when non-synonymous changes were analyzed alone. Thus, the addition of sites that have low levels of saturation and compositional heterogeneity can greatly improve results. 2) Gracillarioidea, as defined by Davis and Robinson (1998), clearly do not include Douglasiidae, and changes to current classification will be required. 3) Gracillariidae were monophyletic in all analyses conducted, and nearly all species can be placed into one of six strongly supported clades though relationships among these remain unclear. 4) The difficulty in determining the phylogenetic placement of Bucculatricidae is probably attributable to compositional heterogeneity at the third codon position. From our tests for compositional heterogeneity and strong bootstrap values obtained when synonymous changes are excluded, we tentatively conclude that Bucculatricidae is closely related to Gracillariidae + Roeslerstammiidae + Yponomeutidae

First measurement of the |t|-dependence of coherent J/ψ photonuclear production

The first measurement of the cross section for coherent J/ψ photoproduction as a function of |t|, the square of the momentum transferred between the incoming and outgoing target nucleus, is presented. The data were measured with the ALICE detector in ultra-peripheral Pb–Pb collisions at a centre-of-mass energy per nucleon pair sNN=5.02TeV with the J/ψ produced in the central rapidity region |y|<0.8, which corresponds to the small Bjorken-x range (0.3−1.4)×10−3. The measured |t|-dependence is not described by computations based only on the Pb nuclear form factor, while the photonuclear cross section is better reproduced by models including shadowing according to the leading-twist approximation, or gluon-saturation effects from the impact-parameter dependent Balitsky–Kovchegov equation. These new results are therefore a valid tool to constrain the relevant model parameters and to investigate the transverse gluonic structure at very low Bjorken-x.publishedVersio

First measurement of coherent ρ0 photoproduction in ultra-peripheral Xe–Xe collisions at √sNN = 5.44 TeV

The first measurement of the coherent photoproduction of ρ0 vector mesons in ultra-peripheral Xe–Xe collisions at sNN=5.44 TeV is presented. This result, together with previous HERA γp data and γ–Pb measurements from ALICE, describes the atomic number (A) dependence of this process, which is particularly sensitive to nuclear shadowing effects and to the approach to the black-disc limit of QCD at a semi-hard scale. The cross section of the Xe+Xe→ρ0+Xe+Xe process, measured at midrapidity through the decay channel ρ0→π+π−, is found to be dσ/dy=131.5±5.6(stat.)−16.9+17.5(syst.) mb. The ratio of the continuum to resonant contributions for the production of pion pairs is also measured. In addition, the fraction of events accompanied by electromagnetic dissociation of either one or both colliding nuclei is reported. The dependence on A of cross section for the coherent ρ0 photoproduction at a centre-of-mass energy per nucleon of the γA system of WγA,n=65 GeV is found to be consistent with a power-law behaviour σ(γA→ρ0A)∝Aα with a slope α=0.96±0.02(syst.). This slope signals important shadowing effects, but it is still far from the behaviour expected in the black-disc limit.publishedVersio