Decidability of quantified propositional intuitionistic logic and S4 on trees

Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers \forall p, \exists p over propositions. In the context of Kripke semantics, a proposition is a subset of the worlds in a model structure which is upward closed. Kremer (1997) has shown that the quantified propositional intuitionistic logic H\pi+ based on the class of all partial orders is recursively isomorphic to full second-order logic. He raised the question of whether the logic resulting from restriction to trees is axiomatizable. It is shown that it is, in fact, decidable. The methods used can also be used to establish the decidability of modal S4 with propositional quantification on similar types of Kripke structures.Comment: v2, 9 pages, corrections and additions; v1 8 page

3D gravity and non-linear cosmology

By the inclusion of an additional term, non-linear in the scalar curvature $R$, it is tested if dark energy could rise as a geometrical effect in 3D gravitational formulations. We investigate a cosmological fluid obeying a non-polytropic equation of state (the van der Waals equation) that is used to construct the energy-momentum tensor of the sources, representing the hypothetical inflaton in gravitational interaction with a matter contribution. Following the evolution in time of the scale factor, its acceleration, and the energy densities of constituents it is possible to construct the description of an inflationary 3D universe, followed by a matter dominated era. For later times it is verified that, under certain conditions, the non-linear term in $R$ can generate the old 3D universe in accelerated expansion, where the ordinary matter is represented by the barotropic limit of the van der Waals constituent.Comment: 7 pages, to appear in Mod. Phys. Let

Non-linear terms in 2D cosmology

In this work we investigate the behavior of two-dimensional (2D) cosmological models, starting with the Jackiw-Teitelboim (JT) theory of gravitation. A geometrical term, non-linear in the scalar curvature $R$, is added to the JT dynamics to test if it could play the role of dark energy in a 2D expanding universe. This formulation makes possible, first, the description of an early (inflationary) 2D universe, when the van der Waals (vdW) equation of state is used to construct the energy-momentum tensor of the gravitational sources. Second, it is found that for later times the non-linear term in $R$ can generate an old 2D universe in accelerated expansion, where an ordinary matter dominated era evolves into a decelerated/accelerated transition, giving to the dark energy effects a geometrical origin. The results emerge through numerical analysis, following the evolution in time of the scale factor, its acceleration, and the energy densities of constituents.Comment: tex file plus figures in two zipped files. To appear in Europhys. Let

Adenoviral delivery of angiotensin-(1-7) or angiotensin-(1-9) inhibits cardiomyocyte hypertrophy via the mas or angiotensin Type 2 receptor

The counter-regulatory axis of the renin angiotensin system peptide angiotensin-(1-7) [Ang-(1-7)] has been identified as a potential therapeutic target in cardiac remodelling, acting via the mas receptor. Furthermore, we recently reported that an alternative peptide, Ang-(1-9) also counteracts cardiac remodelling via the angiotensin type 2 receptor (AT(2)R). Here, we have engineered adenoviral vectors expressing fusion proteins which release Ang-(1-7) [RAdAng-(1-7)] or Ang-(1-9) [RAdAng-(1-9)] and compared their effects on cardiomyocyte hypertrophy in rat H9c2 cardiomyocytes or primary adult rabbit cardiomyocytes, stimulated with angiotensin II, isoproterenol or arg-vasopressin. RAdAng-(1-7) and RAdAng-(1-9) efficiently transduced cardiomyocytes, expressed fusion proteins and secreted peptides, as demonstrated by western immunoblotting and conditioned media assays. Furthermore, secreted Ang-(1-7) and Ang-(1-9) inhibited cardiomyocyte hypertrophy (Control = 168.7±8.4 µm; AngII = 232.1±10.7 µm; AngII+RAdAng-(1-7) = 186±9.1 µm, RAdAng-(1-9) = 180.5±9 µm; P<0.05) and these effects were selectively reversed by inhibitors of their cognate receptors, the mas antagonist A779 for RAdAng-(1-7) and the AT(2)R antagonist PD123,319 for RAdAng-(1-9). Thus gene transfer of Ang-(1-7) and Ang-(1-9) produces receptor-specific effects equivalent to those observed with addition of exogenous peptides. These data highlight that Ang-(1-7) and Ang-(1-9) can be expressed via gene transfer and inhibit cardiomyocyte hypertrophy via their respective receptors. This supports applications for this approach for sustained peptide delivery to study molecular effects and potential gene therapeutic actions

Plastic-crystalline solid-state electrolytes: Ionic conductivity and orientational dynamics in nitrile mixtures

Many plastic crystals, molecular solids with long-range, center-of-mass crystalline order but dynamic disorder of the molecular orientations, are known to exhibit exceptionally high ionic conductivity. This makes them promising candidates for applications as solid-state electrolytes, e.g., in batteries. Interestingly, it was found that the mixing of two different plastic-crystalline materials can considerably enhance the ionic dc conductivity, an important benchmark quantity for electrochemical applications. An example is the admixture of different nitriles to succinonitrile, the latter being one of the most prominent plastic-crystalline ionic conductors. However, until now only few such mixtures were studied. In the present work, we investigate succinonitrile mixed with malononitrile, adiponitrile, and pimelonitrile, to which 1 mol% of Li ions were added. Using differential scanning calorimetry and dielectric spectroscopy, we examine the phase behavior and the dipolar and ionic dynamics of these systems. We especially address the mixing-induced enhancement of the ionic conductivity and the coupling of the translational ionic mobility to the molecular reorientational dynamics, probably arising via a "revolving-door" mechanism.Comment: 9 pages, 7 figures; revised version as accepted for publication in J. Chem. Phy

Disease activity and biologic use in patients with psoriatic arthritis or rheumatoid arthritis.

To compare disease burden and biologic use among psoriatic arthritis (PsA) or rheumatoid arthritis (RA) patients recruited to the Corrona registry. Retrospective study of patients with PsA or RA enrolled in Corrona between January 2002 and March 2013 and grouped in 2-year intervals. Clinical outcomes and biologic use were assessed. Biologic use increased over time in both cohorts, with 62 and 52% of patients with PsA and RA, respectively, receiving biologics by 2012-2013. However, 25 and 35% of patients with PsA and RA, respectively, continued to experience moderate/high disease activity. Overall, the progressive increase in biologic use accompanied progressive decreases in Clinical Disease Activity Index (from 14.2 to 10.4 for RA, and 12.4 to 8.1 for PsA) and mean Health Assessment Questionnaire score (from 0.36 to 0.34, and 0.3 to 0.24). Mean patient pain, the proportion of patients reporting morning stiffness, and the mean duration of morning stiffness remained similar for both cohorts. PsA and RA treated in the rheumatology setting had a comparable impact on patient quality of life and functional ability. Disease burden improved with increased biologic utilization in both groups; however, moderate/severe disease remains in a significant proportion of PsA and RA patients

Effect of Pressure on Superconducting Ca-intercalated Graphite CaC6_6

The pressure effect on the superconducting transition temperature ($T_c$) of the newly-discovered Ca-intercalated graphite compound CaC$_6$ has been investigated up to $\sim$ 16 kbar. $T_c$ is found to increase under pressure with a large relative ratio $\Delta$$T_c$/$T_c$ of $\approx$ +0.4 %/kbar. Using first-principles calculations, we show that the large and positive effect of pressure on $T_c$ can be explained in the scope of electron-phonon theory due to the presence of a soft phonon branch associated to in-plane vibrations of Ca atoms. Implications of the present findings on the current debate about the superconducting mechanism in graphite intercalation compounds are discussed.Comment: 6 pages, 5 figs, final PRB versio

Self-avoiding walks on scale-free networks

Several kinds of walks on complex networks are currently used to analyze search and navigation in different systems. Many analytical and computational results are known for random walks on such networks. Self-avoiding walks (SAWs) are expected to be more suitable than unrestricted random walks to explore various kinds of real-life networks. Here we study long-range properties of random SAWs on scale-free networks, characterized by a degree distribution $P(k) \sim k^{-\gamma}$. In the limit of large networks (system size $N \to \infty$), the average number $s_n$ of SAWs starting from a generic site increases as $\mu^n$, with $\mu = / - 1$. For finite $N$, $s_n$ is reduced due to the presence of loops in the network, which causes the emergence of attrition of the paths. For kinetic growth walks, the average maximum length, $$, increases as a power of the system size: $\sim N^{\alpha}$, with an exponent $\alpha$ increasing as the parameter $\gamma$ is raised. We discuss the dependence of $\alpha$ on the minimum allowed degree in the network. A similar power-law dependence is found for the mean self-intersection length of non-reversal random walks. Simulation results support our approximate analytical calculations.Comment: 9 pages, 7 figure

Evaluation of a measles vaccine campaign by oral-fluid surveys in a rural Kenyan district: interpretation of antibody prevalence data using mixture models

We evaluated the effectiveness of a measles vaccine campaign in rural Kenya, based on oral-fluid surveys and mixture-modelling analysis. Specimens were collected from 886 children aged 9 months to 14 years pre-campaign and from a comparison sample of 598 children aged 6 months post-campaign. Quantitative measles-specific antibody data were obtained by commercial kit. The estimated proportions of measles-specific antibody negative in children aged 0–4, 5–9 and 10–14 years were 51%, 42% and 27%, respectively, pre- campaign and 18%, 14% and 6%, respectively, post-campaign. We estimate a reduction in the proportion susceptible of 65–78%, with ~85% of the population recorded to have received vaccine. The proportion of ‘weak’ positive individuals rose from 35% pre-campaign to 54% post-campaign. Our results confirm the effectiveness of the campaign in reducing susceptibility to measles and demonstrate the potential of oral-fluid studies to monitor the impact of measles vaccination campaigns