Analyticity, balance and non-admissibility of Cut in Stoic Logic

This paper shows that, for the Hertz-Gentzen Systems of 1933 (without Thinning), extended by a classical rule T1 (from the Stoics) and using certain axioms (also from the Stoics), all derivations are analytic: every cut formula occurs as a subformula in the cut’s conclusion. Since the Stoic cut rules are instances of Gentzen’s Cut rule of 1933, from this we infer the decidability of the propositional logic of the Stoics. We infer the correctness for this logic of a “relevance criterion” and of two “balance criteria”, and hence (in contrast to one of Gentzen’s 1933 results) that a particular derivable sequent has no derivation that is “normal” in the sense that the first premiss of each cut is cut-free. We also infer that Cut is not admissible in the Stoic system, based on the standard Stoic axioms, the T1 rule and the instances of Cut with just two antecedent formulae in the first premiss.Publisher PDFPeer reviewe

Inhibition of DAMP signaling as an effective adjunctive treatment strategy in pneumococcal meningitis

Background: Pneumococcal meningitis remains a potentially lethal and debilitating disease, mainly due to brain damage from sustained inflammation. The release of danger-associated molecular patterns (DAMPs), like myeloid-related protein 14 (MRP14) and high mobility group box 1 protein (HMGB1), plays a major role in persistence of inflammation. In this study, we evaluated if paquinimod, an MRP14-inhibitor, and an anti-HMGB1 antibody can improve clinical outcome as adjunctive therapeutics in pneumococcal meningitis. Methods: We tested the adjuvant administration of paquinimod and the anti-HMGB1 antibody in our pneumococcal meningitis mouse model assessing clinical (clinical score, open-field-test, temperature) and pathophysiological parameters (intracranial pressure, white blood cell count in CSF, bleeding area) as well as bacterial titers in blood and brain 24 h after administration and 48 h after infection. Furthermore, we explored the interactions of these two agents with dexamethasone, the standard adjuvant treatment in pneumococcal meningitis (PM), and daptomycin, a nonbacteriolytic antibiotic preventing pathogen-associated molecular pattern (PAMP) release. Results: Adjunctive inhibition of MRP14 or HMGB1 reduced mortality in mice with PM. This effect was lost when the two anti-DAMP agents were given simultaneously, possibly due to excessive immunosuppression. Combining anti-PAMP (daptomycin) and anti-DAMP treatments did not produce synergistic results;instead, the anti-DAMP treatment alone was sufficient and superior. The combination of anti-HMGB1 with dexamethasone did not diminish the effect of the former. Conclusions: DAMP inhibition possesses good potential as an adjuvant treatment approach in PM, as it improves clinical outcome and can be given together with the standard adjuvant dexamethasone without drug effect loss in experimental PM

Role of purinergic signaling in experimental pneumococcal meningitis

Excessive neutrophilic inflammation contributes to brain pathology and adverse outcome in pneumococcal meningitis (PM). Recently, we identified the NLRP3 inflammasome/interleukin (IL)-1 beta pathway as a key driver of inflammation in PM. A critical membrane receptor for NLRP3 inflammasome activation is the ATP-activated P2 purinoceptor (P2R) P2X7. Thus, we hypothesized involvement of ATP and P2Rs in PM. The functional role of ATP was investigated in a mouse meningitis model using P2R antagonists. Brain expression of P2Rs was assessed by RT-PCR. ATP levels were determined in murine CSF and cell culture experiments. Treatment with the P2R antagonists suramin or brilliant blue G did not have any impact on disease course. This lack of effect might be attributed to meningitisassociated down-regulation of brain P2R expression and/or a drop of cerebrospinal fluid (CSF) ATP, as demonstrated by RT-PCR and ATP analyses. Supplemental cell culture experiments suggest that the reduction in CSF ATP is, at least partly, due to ATP hydrolysis by ectonucleotidases of neutrophils and macrophages. In conclusion, this study suggests that ATP-P2R signaling is only of minor or even no significance in PM. This may be explained by down-regulation of P2R expression and decreased CSF ATP levels

Image_1.JPEG

<p>Mast cells reside on and near the cerebral vasculature, the predominant site of pneumococcal entry into the central nervous system (CNS). Although mast cells have been reported to be crucial in protecting from systemic bacterial infections, their role in bacterial infections of the CNS remained elusive. Here, we assessed the role of mast cells in pneumococcal infection in vitro and in vivo. In introductory experiments using mouse bone marrow-derived mast cells (BMMC), we found that (i) BMMC degranulate and release selected cytokines upon exposure to Streptococcus pneumoniae, (ii) the response of BMMC varies between different pneumococcal serotypes and (iii) is dependent on pneumolysin. Intriguingly though, apart from a slight enhancement of cerebrospinal fluid (CSF) pleocytosis, neither two different mast cell-deficient Kit mutant mouse strains (WBB6F1-Kit^W/Wv and C57BL/6 Kit^W-sh/W-sh mice) nor pharmacologic mast cell stabilization with cromoglycate had any significant impact on the disease phenotype of experimental pneumococcal meningitis. The incomplete reversal of the enhanced CSF pleocytosis by local mast cell engraftment suggests that this phenomenon is caused by other c-Kit mutation-related mechanisms than mast cell deficiency. In conclusion, our study suggests that mast cells can be activated by S. pneumoniae in vitro. However, mast cells do not play a significant role as sentinels of pneumococcal CSF invasion and initiators of innate immunity in vivo.</p

Image_3.JPEG

<p>Mast cells reside on and near the cerebral vasculature, the predominant site of pneumococcal entry into the central nervous system (CNS). Although mast cells have been reported to be crucial in protecting from systemic bacterial infections, their role in bacterial infections of the CNS remained elusive. Here, we assessed the role of mast cells in pneumococcal infection in vitro and in vivo. In introductory experiments using mouse bone marrow-derived mast cells (BMMC), we found that (i) BMMC degranulate and release selected cytokines upon exposure to Streptococcus pneumoniae, (ii) the response of BMMC varies between different pneumococcal serotypes and (iii) is dependent on pneumolysin. Intriguingly though, apart from a slight enhancement of cerebrospinal fluid (CSF) pleocytosis, neither two different mast cell-deficient Kit mutant mouse strains (WBB6F1-Kit^W/Wv and C57BL/6 Kit^W-sh/W-sh mice) nor pharmacologic mast cell stabilization with cromoglycate had any significant impact on the disease phenotype of experimental pneumococcal meningitis. The incomplete reversal of the enhanced CSF pleocytosis by local mast cell engraftment suggests that this phenomenon is caused by other c-Kit mutation-related mechanisms than mast cell deficiency. In conclusion, our study suggests that mast cells can be activated by S. pneumoniae in vitro. However, mast cells do not play a significant role as sentinels of pneumococcal CSF invasion and initiators of innate immunity in vivo.</p